Def eisensteinSeries

Modification history

2025-08-28 10:52

Mathlib/NumberTheory/ModularForms/EisensteinSeries/Defs.lean

feat(NumberTheory/ModularForms/EisensteinSeries): Update gammaSet (#27840) …

Modified eisensteinSeries View on Github →

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 →