Satz 6.9 Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I/Vorlesung 6
Endliche Mengen/Anzahl/Wohldefiniert/Fakt
