Assertion: normal matrix | /r/HasProperty | equivalent
Facets:
value: unitarily
type: DEGREE
value: to some diagonal matrix
type: OTHER
Source sentences:
text: The spectral theorem says that every normal matrix is unitarily equivalent to some diagonal matrix.