Krull-dimension of the power series ring over a nondiscrete valuation domain is uncountable

From MaRDI portal
Publication:373856