Theorem Matrix.StdBasisMatrix.stdBasisMatrix_mul_mul_stdBasisMatrix

Modification history