Commit 2025-12-07 16:03 bcc3f989

feat(ModularForms): norm and trace maps (#32460) Define norm and trace maps from modular forms for a finite-index inclusion of levels; and use these to show that modular forms of negative weight are 0, and modular forms of weight 0 are constant, for any arithmetic subgroup.