Commit 2025-01-15 18:22 5dd62b3c
View on Github →feat(ModularForms/QExpansion): define q-expansions (#20720)
We define the q-expansion of a modular form (either as a power series or as a FormalMultlinearSeries
), show it has radius of convergence at least 1, and show that it converges to the original form on the open unit ball.