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.

Estimated changes