Assertion: bijective isometry | /r/HasProperty | homeomorphism
Facets:
Source sentences:
text: Every bijective isometry is a homeomorphism