Theorem Subgroup.eq_one_of_smul_eq_one

Modification history