Assertion: quotient ring | /r/HasProperty | defined
Facets:
Source sentences:
text: ("quotient ring" is defined below).