Theorem Set.mulIndicator_const_preimage

Modification history