Theorem Finset.card_le_card_pow

Modification history