Theorem Matrix.StdBasisMatrix.mul_right_apply_of_ne

Modification history