Theorem SlashInvariantForm.vAdd_width_periodic

Modification history

2024-05-28 13:39
Mathlib/NumberTheory/ModularForms/Identities.lean
Add(NumberTheory/ModularForms/Identities): periods of modular forms. (#12601) …
Added SlashInvariantForm.vAdd_width_periodicView on Github →