Assertion: valuation ring | /r/HasProperty | equipped with function
Facets:
Source sentences:
text: Discrete valuation rings are equipped with a function which assign an integer to any element r.