Theorem Finset.card_pow_div_pow_le

Modification history