Kurs:Differentialgeometrie/Mannigfaltigkeit/Abzählbare Basis/Lokal endlicher Atlas/Fakt/Faktreferenznummer

Lemma 22.9 (Differentialgeometrie (Osnabrück 2023))