Seminormal rings (following Thierry Coquand)

From MaRDI portal
Publication:2476016