Theorem Matrix.one_submatrix_mul

Modification history