Assertion: space's dimension | /r/AtLocation | most min(m
Facets:
Source sentences:
text: The dimension of the column space is called the rank of the matrix and is at most min(m, n).