Theorem Matrix.stdBasisMatrix_eq_single_vecMulVec_single

Modification history