Theorem UpperHalfPlane.modular_T_zpow_smul

Modification history