Theorem Finset.odd_sum_iff_odd_card_odd

Modification history