Assertion: skew symmetric matrix | /r/HasProperty | diagonalized by unitary matrix
Facets:
Source sentences:
text: Real skew-symmetric matrices are normal matrices (they commute with their adjoints) and are thus subject to the spectral theorem, which states that any real skew-symmetric matrix can be diagonalized by a unitary matrix.