Assertion: matrix | /r/HasProperty | diagonalized
Facets:
value: simultaneously
type: MANNER
Source sentences:
text: If two matrices share their eigenvectors, they can be simultaneously diagonalized.