Theorem Matrix.cons_vecMul

Modification history