Def EisensteinSeries.eisensteinSeries

Modification history

2024-07-09 13:58

Mathlib/NumberTheory/ModularForms/EisensteinSeries/Basic.lean

Eisenstein series are modular forms (#12604) …

Deleted EisensteinSeries.eisensteinSeries View on Github →

2024-01-19 11:22

Mathlib/NumberTheory/ModularForms/EisensteinSeries/Basic.lean

feat: add definition of Eisenstein series (#9783) …

Added EisensteinSeries.eisensteinSeries View on Github →