Theorem Finset.prod_ite_eq_of_mem

Modification history