Theorem Finset.prod_mulIndicator_subset

Modification history