Theorem Rel.image_inv

Modification history