Kurs:Analysis/Differenzierbare Abbildung/R/Bijektives Differential/Stetige Umkehrabbildung/Differenzierbar/Fakt/Faktreferenznummer

Lemma 51.2 (Analysis (Osnabrück 2021-2023))