Theorem Matrix.inv_eq_right_inv

Modification history