Lemma 40.4
Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II/Vorlesung 40
Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Anordnung/Fakt