Lemma 13.13
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 13 Topologischer Raum/Abzählbare Basis/Überdeckungskompakt und folgenkompakt/Fakt