Theorem Matrix.cons_vecMul_cons

Modification history