Mannigfaltigkeit/Vektorbündel/R/Zusammenhang/Weg/Teilliftbarkeit/Fakt/Beweisverweis

Dies beruht auf der Lösungstheorie für gewöhnliche Differentialgleichungen.