Mathlib Changelog
v4
Changelog
About
Github
Theorem
EisensteinSeries.eisensteinSeries_tendstoLocallyUniformly
Modification history
2024-05-15 11:20
Mathlib/NumberTheory/ModularForms/EisensteinSeries/UniformConvergence.lean
Eisenstein series uniform convergence (#10377) …
Added
EisensteinSeries.eisensteinSeries_tendstoLocallyUniformly
View on Github →