Theorem Set.mulIndicator_one_preimage

Modification history