Kurs:Diskrete Mathematik/Reelle stetige Funktion/Approximationseigenschaften/Fakt/Faktreferenznummer

Lemma 51.7 (Grundkurs Mathematik (Osnabrück 2022-2023))