Theorem Matrix.inv_mul_cancel_left_of_invertible

Modification history