Theorem Finset.noncommProd_mul_distrib_aux

Modification history