Theorem ModularGroup.smul_eq_lcRow0_add

Modification history