Theorem Finset.prod_mul_distrib

Modification history