Theorem Rel.codom_inv

Modification history