Kurs:Differentialgeometrie (Osnabrück 2023)/Satz über implizite Abbildungen/Globale Diffeomorphismen/Induzierte Diffeomorphismen zwischen Faser und Achsenräumen/Fakt/Faktreferenznummer