Theorem Finset.prod_ite_eq_of_mem'

Modification history