Lemma 10.5 Kurs:Analysis (Osnabrück 2021-2023)/Teil I/Vorlesung 10
Endliche Menge/Gleiche Anzahl/Injektiv ist surjektiv/Fakt
