Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Endliche Menge/Gleiche Anzahl/Injektiv ist surjektiv/Fakt/Faktreferenznummer

Lemma 10.5 (Analysis (Osnabrück 2021-2023))