Theorem Finset.le_card_iff_exists_subset_card

Modification history