Lemma 11.5
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 11 Offene Menge/R^n/Vektorfelder/Hintereinanderschaltung/Explizit/Fakt