Lemma 12.12
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 12 Topologisches reelles Vektorbündel/Verklebungsdatum/Existenz/Fakt
