Kurs:Differentialgeometrie/Mannigfaltigkeit/Abzählbare Basis/Überdeckung/Partition/Fakt/Faktreferenznummer

Satz 22.10 (Differentialgeometrie (Osnabrück 2023))