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