Assertion: additive group | /r/HasProperty | integer
Facets:
Source sentences:
text: Every infinite cyclic group is isomorphic to the additive group of Z, the integers.