Theorem Matrix.inv_mul_cancel_right_of_invertible

Modification history