paracompact + locally compact + connected implies exhaustible by compacts#1215

Merged

prabau merged 3 commits intomainfrom locally-compact-paracompact

Jan 28, 2025

+17

Commits on Jan 26, 2025

paracompact + locally compact + connected implies sigma-compact
Moniker1998
committed

Commits on Jan 27, 2025

updated to make it stronger
Moniker1998
committed

Commits on Jan 28, 2025

Update theorems/T000698.md

Moniker1998
and
prabau
authored