Def EisensteinSeries.δ

Modification history

2026-01-28 16:26

Mathlib/NumberTheory/ModularForms/EisensteinSeries/E2/Transform.lean

feat(NumberTheory/ModularForms/EisensteinSeries/E2/Transform): E2 under the action of SL2 (#32585) …

Added EisensteinSeries.δ View on Github →