Theorem Matrix.vecMul_cons

Modification history