Satz 20.18
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 20 Endliche Menge/Numerische Bedingung/Injektive Abbildung/Fakt