Assertion: abelian group's property | /r/HasProperty | replaced by the following
Facets:
value: in some contexts
type: OTHER
Source sentences:
text: In some contexts, the third property above is replaced by the following: