Theorem ModularGroup.re_T_smul

Modification history