Theorem Matrix.row_vecMul

Modification history