Theorem Subgroup.index_eq_card

Modification history