Kurs:Mathematik für Anwender/Reelle Zahlen/Intervallschachtelung/Punkt/Fakt/Faktreferenznummer

Satz 8.12 (Mathematik für Anwender (Osnabrück 2023-2024))