Lemma 40.9
Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II/Vorlesung 40
Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Anordnung/Fakt