Assertion: orthogonal matrix | /r/HasProperty | unique
Facets:
Source sentences:
text: The inverse matrix is unique when it exists.