Assertion: trace | /r/HasProperty | given
Facets:
Source sentences:
text: (\varphi _{n})_{n}} , the trace is given by
text: Therefore, the trace of the commutator of and is given by