Eberl, Theta Functions, Archive of Formal Proofs , December 2024, https://isa-afp.org/entries/Theta_ Functions.html, Formal proof development
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it