Theorem Finset.card_le_two

Modification history