Kurs:Differentialgeometrie (Osnabrück 2023)/Mannigfaltigkeit/Abzählbare Basis/Überdeckung/Partition/Fakt/Faktreferenznummer