Theorem Matrix.StdBasisMatrix.mul_same

Modification history