Theorem abs_inv

Modification history