Some properties of the Sorgenfrey line and the Sorgenfrey plane
From MaRDI portal
Publication:467776
DOI10.2478/forma-2013-0009zbMath1298.54013OpenAlexW1969404474MaRDI QIDQ467776
Piotr Rudnicki, Adam S. Arnaud
Publication date: 5 November 2014
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2013-0009
Mechanization of proofs and logical operations (03B35) Product spaces in general topology (54B10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)
Cites Work