Kurs:Differentialgeometrie (Osnabrück 2023)/Mannigfaltigkeit/Abzählbare Basis/Kompakte Ausschöpfung/Fakt/Faktreferenznummer