Theorem Finset.prod_sigma

Modification history