Assertion: local isometry | /r/HasAspect | continuous inverse
Facets:
Source sentences:
text: If a bijective local isometry between length spaces has a continuous inverse, then it is a global isometry.