Theorem Finset.mulIndicator_prod

Modification history