Theorem Finset.prod_mulIndicator_eq_prod_inter

Modification history