Kurs:Mathematik für Anwender/Angeordneter Körper/Elementare Eigenschaften/3/Fakt/Faktreferenznummer

Lemma 5.2 (Mathematik für Anwender (Osnabrück 2023-2024))