Assertion: trace | /r/HasProperty | independent of the choice of orthonormalbasis
Facets:
Source sentences:
text: As in the finite-dimensional case the trace is independent of the choice of (orthonormal) basis,