Theorem Matrix.add_vecMul

Modification history