Theorem Finset.univ_prod_mulSingle

Modification history