Theorem Group.card_center_add_sum_card_noncenter_eq_card

Modification history