Kurs:Analysis/Reelle Funktion/Stetigkeit/Addition, Multiplikation, Invertierung von Funktionen/Fakt/Faktreferenznummer

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