Assertion: algebra's property | /r/HasProperty | stated in the introduction
Facets:
Source sentences:
text: It is straightforward, but rather boring, to verify that the resulting algebra satisfies the universal property stated in the introduction.