Theorem Finset.prod_equiv

Modification history