Assertion: trace | /r/HasProperty | l:k
Facets:
Source sentences:
text: If L/K is separable then each root appears only once (however this does not mean the coefficient above is one; for example if α is the identity element 1 of K then the trace is [L:K] times 1).