-
Updated pi-base.org requires peer-reviewed refs for everything. But who would bother to prove countable→σ-compact? 🙃
-
"Since X is countable, it is separable, σ-compact, and Lindelof." Had to dig a bit in Counterexamples to find it, but it's there!