Theorem Matrix.submatrix_diagonal_equiv

Modification history