Theorem Matrix.fromCols_mul_fromRows

Modification history