Assertion: trace | /r/HasProperty | tr ⁡
Facets:
Source sentences:
text: The trace is a linear functional over the space of trace-class operators, i.e. Tr ⁡ ( a A + b B ) = a Tr ⁡ ( A )