Theorem Matrix.fromCols_mulVec_sum_elim

Modification history