Kurs:Analysis (Osnabrück 2021-2023)/Endliche Menge/Gleiche Anzahl/Injektiv ist surjektiv/Fakt/Faktreferenznummer