Assertion: isomorphism's inverse | /r/HasProperty | h = g −1
Facets:
Source sentences:
text: H −1 = G in commutative diagrams in the only inverses H = G −1 defined by relations (6) and (7) from the first example.