Prime ideal of a valuation

Summary