Assertion: matrix | /r/CapableOf | satisfy certain trace equalities
Facets:
Source sentences:
text: Specht's theorem states that two matrices are unitarily equivalent if and only if they satisfy certain trace equalities.