Assertion: trace | /r/HasProperty | independent of the choice of basis
Facets:
Source sentences:
text: This definition is possible since the trace is independent of the choice of basis.