Assertion: trace | /r/HasProperty | equal
Facets:
value: to the sum of its eigenvalues
type: OTHER
Source sentences:
text: where the first equality is because the traces of a matrix and its transpose are equal.
text: from which follows that the trace of in both bases is equal.
text: This inequality can be derived from the fact that the trace of a matrix is equal to the sum of its eigenvalues.