Theorem ModularGroup.im_T_zpow_smul

Modification history