Theorem Matrix.neg_mulVec

Modification history