Theorem Finset.prod_univ_pi

Modification history