Assertion: isometry | /r/HasProperty | smoothmapping of that manifold
Facets:
value: into another manifold
type: OTHER
value: into itself
type: OTHER
Source sentences:
text: An isometry of a manifold is any (smooth) mapping of that manifold into itself, or into another manifold that preserves the notion of distance between points.