Assertion: division's rank | /r/HasProperty | the same
Facets:
Source sentences:
text: The column rank of a matrix is the dimension of the right module generated by the columns, and the row rank is dimension of the left module generated by the rows; the same proof as for the vector space case can be used to show that these ranks are the same, and define the rank of a matrix.