Kurs:Differentialgeometrie (Osnabrück 2023)/Mannigfaltigkeit/Linearer Zusammenhang/Nullschnitt horizontal/Aufgabe/Aufgabereferenznummer