Assertion: isometry | /r/CapableOf | map euclidean circle
Facets:
value: as its image
type: MANNER
value: in exe
type: LOCATION
value: into a circle
type: OTHER
Source sentences:
text: In chapter 1 he asks for a proof that an isometry (defined as above) maps a Euclidean circle in ExE (all those points at a fixed distance from the center point P) into a circle as its image.