Theorem Matrix.inv_sub_inv

Modification history