Theorem UpperHalfPlane.modular_T_smul

Modification history