Theorem Finset.prod_attach_eq_prod_dite

Modification history