Kurs:Analysis/Stetigkeit in einem Punkt/R/Charakterisierung/Fakt/Faktreferenznummer

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