Maximal Lindelöf locales

From MaRDI portal
Publication:2011384