Assertion: cyclic group | /r/HasAspect | group presentation
Facets:
Source sentences:
text: The definition immediately implies that cyclic groups have group presentation C ∞