Theorem SetRel.preimage_inv

Modification history