Theorem Matrix.mul_right_inj_of_invertible

Modification history