Theorem Matrix.vecMul_fromCols

Modification history