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