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

  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!