Theorem Matrix.stdBasis_eq_stdBasisMatrix

Modification history