Theorem Set.mulIndicator_of_notMem

Modification history