Theorem Matrix.fromCols_mulVec_sumElim

Modification history