Theorem Matrix.submatrix_mul_transpose_submatrix

Modification history