Kurs:Analysis/Differenzierbar/D offen K/Stetigkeit im Punkt/Fakt/Faktreferenznummer

Korollar 18.6 (Analysis (Osnabrück 2021-2023))