Theorem Matrix.vecMul_vecMul

Modification history