Kurs:Differentialgeometrie (Osnabrück 2023)/Mannigfaltigkeit/Vektorbündel/R/Zusammenhang/Vertikale Ableitung/Linearität/Fakt/Beweis/Aufgabe/Aufgabereferenznummer