Theorem Group.card_pow_eq_card_pow_card_univ

Modification history