Ore extensions over total valuation rings.

From MaRDI portal
Publication:605333