Theorem Subgroup.index_eq_one

Modification history