Basic

📁 Source: Mathlib/NumberTheory/ModularForms/EisensteinSeries/Basic.lean

Statistics

Metric	Count
Definitions E, eisensteinSeriesMF, eisensteinSeries_MF	3
Theorems	0
Total	3

ModularForm

Definitions

Name	Category	Theorems
E 📖	CompOp	4 math math: EisensteinSeries.q_expansion_riemannZeta, EisensteinSeries.E_qExpansion_coeff, EisensteinSeries.q_expansion_bernoulli, EisensteinSeries.E_qExpansion_coeff_zero
eisensteinSeriesMF 📖	CompOp	—
eisensteinSeries_MF 📖	CompOp	—

---

← Back to Index