Theorem Matrix.neg_vecMul

Modification history