Theorem SetRel.inv_inv

Modification history