Theorem Finset.product_pow

Modification history