Assertion: normal matrix | /r/HasProperty | diagonalizable
Facets:
Source sentences:
text: This follows by combining the theorems that, over an algebraically closed field, commuting matrices are simultaneously triangularizable and a normal matrix is diagonalizable –