Theorem Rel.preimage_inv

Modification history