Theorem Matrix.mul_left_injective_of_invertible

Modification history