Theorem ModularGroup.im_T_smul

Modification history