Theorem Finset.card_compl_lt_iff_nonempty

Modification history