Theorem Matrix.row_mulVec_eq_const

Modification history