Theorem Set.mulIndicator_preimage_of_notMem

Modification history