Kurs:Grundkurs Mathematik/Angeordneter Körper/Archimedisch/Formulierung mit zwei Elementen/Fakt/Faktreferenznummer

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