Assertion: isomorphism's inverse | /r/HasProperty | equal
Facets:
Source sentences:
text: If a morphism has both left-inverse and right-inverse, then the two inverses are equal, so f is an isomorphism, and g is called simply the inverse of f. Inverse morphisms, if they exist, are unique.