Kurs:Differentialgeometrie/Picard Lindelöf/Lokal Lipschitz/Lokale Existenz und Eindeutigkeit/Fakt/Faktreferenznummer

Satz 56.2 (Analysis (Osnabrück 2021-2023))