Assertion: determinant | /r/HasProperty | unit
Facets:
value: in r.
type: LOCATION
Source sentences:
text: A matrix over a commutative ring R is invertible if and only if its determinant is a unit in R.