Assertion: isomorphism's inverse | /r/HasProperty | composite
Facets:
Source sentences:
text: Note that the inverse of an isomorphism is an isomorphism, as is any identity morphism or composite of isomorphisms.