Theorem Finset.card_compl_add_card

Modification history