Assertion: transpose | /r/HasProperty | nonsingular
Facets:
Source sentences:
text: Show that if A is an mxn matrix such that A dot A transpose is nonsingular, then rank A=m.