Theorem Finset.card_le_four

Modification history