Theorem Matrix.right_inv_eq_right_inv

Modification history