Theorem Set.mulIndicator_finset_prod

Modification history