Theorem UpperHalfPlane.ModularGroup_T_zpow_mem_verticalStrip

Modification history

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