feat(EisensteinSeries): q-expansion coefficients and non-vanishing for E_k#1

CBirkbeck wants to merge 1 commit into

masterCBirkbeck/mathlib4:masterfrom

Eisenstein_series_non_trivCBirkbeck/mathlib4:Eisenstein_series_non_trivCopy head branch name to clipboard