Theorem Matrix.submatrix_mul_equiv

Modification history