Theorem Matrix.cons_vecMulVec

Modification history