StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 2,349

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