Kurs:Grundkurs Mathematik/Angeordneter Körper/Betragseigenschaften/Fakt/Faktreferenznummer

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