Definition 12.10
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 12 Topologisches reelles Vektorbündel/Verklebungsdatum/Definition
