Theorem Matrix.mul_inv_cancel_left_of_invertible

Modification history