Assertion: group | /r/CapableOf | act as isometry
Facets:
Source sentences:
text: It is essential in Bieberbach's theorems to assume that the group acts as isometries; the theorems do not generalize to discrete cocompact groups of affine transformations of Euclidean space.