Lemma 40.1
Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil II/Vorlesung 40
Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Addition/Fakt