Satz 26.11
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 26 Differenzierbare Mannigfaltigkeit/Vektorfeld/Diffeomorphismen/Lokal einparametrige Gruppe/Fakt