Assertion: algebra's element | /r/HasProperty | product
Facets:
Source sentences:
text: (In the rng case, deleting the assumption of addition-commutativity leaves it inferable (from the remaining rng assumptions) for elements that are products: