Assertion: trace | /r/HasProperty | the composition of the trace
Facets:
value: from m
type: LOCATION
Source sentences:
text: Additionally, trace behaves well in towers of fields: if M is a finite extension of L, then the trace from M to K is just the composition of the trace from M to L with the trace from L to K, i.e.