Commit 2025-05-10 12:26 b40998fe
View on Github →feat(NumberTheory/ModularForms): GL2+ action is mdifferentiable (#24573)
Show that the action of GL(2, R)^+ on the upper half-plane preserves the manifold structure, and deduce that
if f is a modular form (or cusp form, etc) then so are its translates by SL(2, Z).