Theorem Set.mulIndicator_inv

Modification history