Theorem Matrix.mul_right_injective_of_invertible

Modification history