Theorem ModularGroup.coe_T_zpow_smul_eq

Modification history