Theorem eisSummand_of_gammaSet_eq_divIntMap

Modification history

2025-11-14 13:33
Mathlib/NumberTheory/ModularForms/EisensteinSeries/QExpansion.lean
feat: Eisenstein q exp identity (#27606) …
Added eisSummand_of_gammaSet_eq_divIntMapView on Github →