Theorem conj_inv

Modification history