Theorem Matrix.vecMulVec_cons

Modification history