"Krull valuation" listed at Redirects for discussion

edit

  An editor has identified a potential problem with the redirect Krull valuation and has thus listed it for discussion. This discussion is at Wikipedia:Redirects for discussion/Log/2022 July 12#Krull valuation until a consensus is reached, and readers of this page are welcome to contribute to the discussion. Jay (talk) 16:28, 18 July 2022 (UTC)Reply

The discussion has been relisted at Wikipedia:Redirects for discussion/Log/2022 July 18#Krull valuation. D.Lazard (talk) 21:13, 18 July 2022 (UTC)Reply