Kurs:Analysis/Differenzierbar/D in R/Umkehrfunktion/Fakt/Faktreferenznummer

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