Second-countable implies Lindelof - Topospaces
topospaces.subwiki.org