Assertion: bijective isometry | /r/HasProperty | the map
Facets:
Source sentences:
text: The inverse isometry is the map