Assertion: trace | /r/HasProperty | tr l/k
Facets:
Source sentences:
text: The trace, Tr L/K (α), is defined as the (linear algebra) trace of this linear transformation.
text: The trace Tr L/K : L → K is a K-linear map (a K-linear functional), that is