Lemma 24.10
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 24 Mannigfaltigkeit/Vektorbündel/R/Zusammenhang/Ableitung bezüglich Vektorfeld/Eigenschaften/Fakt