Satz 48.5
Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II/Vorlesung 48
Dedekindscher Schnitt/Reeller Punktschnitt/Fakt