Theorem Finset.card_le_five

Modification history