Talk:Dedekind valuation