Theorem Matrix.vecMul_neg

Modification history