Lemma 89.5
Kurs:Mathematik (Osnabrück 2009-2011)/Teil III/Vorlesung 89
Mannigfaltigkeit/Abzählbare Basis/Kompakte Ausschöpfung/Fakt