# Commit 2023-03-16 17:03 34d37973

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

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