Theorem Matrix.comp_stdBasisMatrix_stdBasisMatrix

Modification history