Kurs:Diskrete Mathematik/Endliche Mengen/Abbildungen/Anzahl/Fakt/Faktreferenznummer

Satz 2.2 (Diskrete Mathematik (Osnabrück 2020))