Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-07-02 18:13
a5fc3766
View on Github →
feat: port NumberTheory.ModularForms.JacobiTheta.Manifold (
#5670
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/NumberTheory/ModularForms/JacobiTheta/Manifold.lean
added
theorem
mdifferentiable_jacobiTheta