Theorem Matrix.cons_mulVec

Modification history