Assertion: local isometry | /r/HasProperty | autometrie
Facets:
Source sentences:
text: We could also say "pointed local isometries (autometries)", mirroring the terminology used in Theorem 10.10.1 on p.398 of Burago, Burago, Ivanov ("pointed homeomorphism").