Theorem Matrix.submatrix_smul

Modification history