Sorgenfrey Line fulfills All Separation Axioms
From ProofWiki
Theorem
Let $T=(\R,\tau)$ be the Sorgenfrey Line; then it fulfills all separation axioms.
Proof
It follows trivially from Sequence of Implications of Separation Axioms and Sorgenfrey Line is Perfectly Normal.
$\blacksquare$
If you are fairly certain that there are none, please remove {{proofread}} from the code.
