Mathlib Changelog
v4
Changelog
About
Github
Def
ModularForm.prodEqualWeights
Modification history
2026-01-22 10:30
Mathlib/NumberTheory/ModularForms/Basic.lean
feat(NumberTheory/ModularForms/Basic): Provide definition of the products of finitely many modular forms (#32978) …
Added
ModularForm.prodEqualWeights
View on Github →