User:Leigh.Samphier/OrderTheory/Definition:Category of Compact Completely Regular Locales

From ProofWiki
Jump to navigation Jump to search