Theorem Set.mulIndicator_preimage

Modification history