Theorem Finset.card_mul_pow_le

Modification history