Kurs:Differentialgeometrie (Osnabrück 2023)/Linearer Zusammenhang/Vertikale Ableitung/Längs Abbildung/Eigenschaften/Fakt/Faktreferenznummer