Theorem inv_sub_inv

Modification history