Kurs:Differentialgeometrie/Satz über implizite Abbildungen/Faser ist Mannigfaltigkeit/Fakt/Faktreferenznummer

Satz 8.2 (Differentialgeometrie (Osnabrück 2023))