Def eisensteinSeries

Modification history

2024-07-09 17:23

Mathlib/NumberTheory/ModularForms/EisensteinSeries/Basic.lean

Chore: Rename files with Eisenstein series stuff. (#14572) …

Modified eisensteinSeries View on Github →

2024-07-09 13:58

Mathlib/NumberTheory/ModularForms/EisensteinSeries/Basic.lean

Eisenstein series are modular forms (#12604) …

Added eisensteinSeries View on Github →