Kurs:Analysis/Gewöhnliche Differentialgleichung/Getrennte Variablen/Lösungsexistenz/Fakt/Faktreferenznummer

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