Theorem Matrix.vecMul_add

Modification history