Assertion: matrix's inverse | /r/HasProperty | unique
Facets:
Source sentences:
text: A matrix does not have to have an inverse, but if it does, the inverse is unique.