Residue field of a valuation
Redirect to:
Valuation (algebra)