Commit 2025-08-27 08:20 165834c6
View on Github →feat: normalised Eisenstein series (#27839) define normalised Eisenstein series in preparation for giving their q-expansions.
feat: normalised Eisenstein series (#27839) define normalised Eisenstein series in preparation for giving their q-expansions.