Def ModularForm.mcast

Modification history

2024-05-17 19:31

Mathlib/NumberTheory/ModularForms/Basic.lean

style: remove all isolated `where` (#12991)

Modified ModularForm.mcast View on Github →

2023-12-23 00:28

Mathlib/NumberTheory/ModularForms/Basic.lean

feat(ModularForm): Graded Ring instance on spaces of modular forms (#9164) …

Added ModularForm.mcast View on Github →