Satz 13.1 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 13
Endliche Mengen/Abbildung/Faseranzahl/Fakt