mathlib3
34d37973 - feat(number_theory/modular_forms): Jacobi theta function (#18564)

Commit

2 years ago

feat(number_theory/modular_forms): Jacobi theta function (#18564) Define Jacobi's theta function, and prove its functional equation using Poisson summation.

Author

loefflerd

Parents

22f57723

mathlib3 34d37973 - feat(number_theory/modular_forms): Jacobi theta function (#18564)

mathlib3
34d37973 - feat(number_theory/modular_forms): Jacobi theta function (#18564)