Mathlib Changelog
v4
Changelog
About
Github
Theorem
EisensteinSeries.eisensteinSeriesSIF_mdifferentiable
Modification history
2026-02-11 09:57
Mathlib/NumberTheory/ModularForms/EisensteinSeries/MDifferentiable.lean
chore: fix some names around Eisenstein series (#35055) …
Added
EisensteinSeries.eisensteinSeriesSIF_mdifferentiable
View on Github →