Theorem Matrix.col_vecMul

Modification history