Theorem EisensteinSeries.D2_inv

Modification history

2026-01-07 12:38
Mathlib/NumberTheory/ModularForms/EisensteinSeries/E2/Defs.lean
chore: fix more spacing issues (#33705) …
Modified EisensteinSeries.D2_invView on Github →
2025-12-15 10:15
Mathlib/NumberTheory/ModularForms/EisensteinSeries/E2/Defs.lean
feat(NumberTheory/EisensteinSeries/E2): Define the Eisenstein series E2 (#32584) …
Added EisensteinSeries.D2_invView on Github →