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

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