Theorem Matrix.sumElim_vecMul_fromRows

Modification history