Satz 18.10 Kurs:Analysis (Osnabrück 2021-2023)/Teil I/Vorlesung 18
Differenzierbar/D in R/Umkehrfunktion/Fakt