Theorem Finset.pow_card_mul_prod

Modification history