Theorem ModularForm.prod_slash_sum_weights

Modification history

2026-01-22 10:30
Mathlib/NumberTheory/ModularForms/SlashActions.lean
feat(NumberTheory/ModularForms/Basic): Provide definition of the products of finitely many modular forms (#32978) …
Added ModularForm.prod_slash_sum_weightsView on Github →