Theorem Finset.card_pow_le

Modification history