Theorem Matrix.right_inv_eq_left_inv

Modification history