mathlib3

fe44cd36 - feat (number_theory/modular_forms): holomorphy of the Jacobi theta function (#18631)

feat (number_theory/modular_forms): holomorphy of the Jacobi theta function (#18631) Show that the Jacobi theta function is holomorphic on the upper half-plane, with exponential decay at infinity.