Lemma 1.5
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 1 Endliche Menge/Gleiche Anzahl/Injektiv ist surjektiv/Fakt