Assertion: valuation ring | /r/HasProperty | the subring
Facets:
Source sentences:
text: The valuation ring of v is the subring of K consisting of zero and all nonzero