Assertion: trace | /r/HasProperty | defined
Facets:
Source sentences:
text: Let A be an n × n matrix; its trace is defined by
text: then the trace of can be defined by