Theorem Finset.prod_attach_univ

Modification history