Theorem neg_inv

Modification history