Theorem Finset.prod_cons

Modification history