Theorem Matrix.StdBasisMatrix.mul_left_apply_same

Modification history