Kurs:Analysis/Gewöhnliche Differentialgleichung/Zeitunabhängig/Als getrennte Variablen/Fakt/Faktreferenznummer

Korollar 30.3 (Analysis (Osnabrück 2021-2023))