Assertion: real number's property | /r/CapableOf | carry over to tr
Facets:
value: by definition
type: OTHER
Source sentences:
text: By definition, standard properties of traces and determinants of matrices carry over to Tr and N: