How to prove that the Sorgenfrey line is hereditarily separable?
Sorgenfrey line is hereditarily separable
3
$\begingroup$
general-topology