Lemma 24.11
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 24 Differenzierbare Hyperfläche/Zweites Tangentialbündel/Induzierter Zusammenhang/Vertikale Ableitung/Fakt