Theorem ModularGroup.one_lt_normSq_T_zpow_smul

Modification history