Theorem sum_conjClasses_card_eq_card

Modification history