Theorem Matrix.smul_stdBasisMatrix

Modification history