Assertion: valuation ring | /r/AtLocation | the function field
Facets:
Source sentences:
text: The points of an algebraic variety correspond to valuation rings contained in the function field and containing the coordinate ring.