Assertion: isomorphism's inverse | /r/HasProperty | the composition
Facets:
Source sentences:
text: The realization theorem solves this problem: inverses of the mappings, constituting the composition, are possible to identify up to isomorphism, closing the composition in the commutative diagram.