Assertion: isomorphism | /r/HasProperty | $f$
Facets:
Source sentences:
text: Then, an isomorphism $F$ will have an inverse that is also an isomorphism.