Assertion: isometry | /r/HasProperty | surjective
Facets:
value: incidentally
type: DEGREE
Source sentences:
text: But to prove that an isometry is surjective...
text: Incidentally, when $M$ is compact, any isometry must be surjective.