Theorem ModularGroup.normSq_S_smul_lt_one

Modification history