Theorem Finset.card_compl

Modification history