Theorem Finset.card_le_three

Modification history