Theorem SlashInvariantForm.T_zpow_width_invariant

Modification history

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