Assertion: finite abelian group | /r/HasProperty | generated
Facets:
value: finitely
type: DEGREE
Source sentences:
text: Every finite abelian group is finitely generated.