Kurs:Differentialgeometrie (Osnabrück 2023)/Reelles Vektorbündel/Linearer Zusammenhang/Krümmungsoperator/Eigenschaften/Fakt/Faktreferenznummer