Assertion: abelian group's property | /r/HasProperty | neat
Facets:
Source sentences:
text: Abelian groups have this neat property: every subgroup is normal.