Assertion: abelian group's property | /r/HasProperty | depend on axiom
Facets:
Source sentences:
text: The above properties depend on some axioms valid for groups.