Theorem Finset.even_sum_iff_even_card_odd

Modification history