Kurs:Analysis/Abgeschlossenes Intervall/Funktion/Gleichmäßig stetig/Fakt/Faktreferenznummer

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