Theorem Matrix.submatrix_apply

Modification history