Theorem Group.sum_card_conj_classes_eq_card

Modification history