Irreducible locales

From MaRDI portal
Publication:5029976