Commit 2025-11-14 13:33 bb14de46
View on Github →feat: Eisenstein q exp identity (#27606)
We prove that Eisenstein series have a q-expansion of the form 1 - (2k / bernoulli k) ∑' n, σ_{k-1}(n) q^n
feat: Eisenstein q exp identity (#27606)
We prove that Eisenstein series have a q-expansion of the form 1 - (2k / bernoulli k) ∑' n, σ_{k-1}(n) q^n