Lemma 2.8
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 2 Endliche Mengen/Injektive Abbildungen/Anzahl/Fakt