Theorem UpperHalfPlane.modular_S_smul

Modification history