Assertion: isomorphism | /r/HasProperty | ordinary isomorphic map
Facets:
value: outside the commutative diagram
type: LOCATION
Source sentences:
text: Note, that this isomorphism by itself must be an ordinary isomorphic map outside the commutative diagram.