Lemma 24.7 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 24
Angeordneter Körper/Betragseigenschaften/Fakt