Theorem Matrix.submatrix_mul

Modification history