Satz über implizite Abbildungen/Faser ist Mannigfaltigkeit/Fakt
Es sei offen und sei
eine stetig differenzierbare Abbildung. Es sei die Faser über einem Punkt . Das totale Differential sei surjektiv für jeden Punkt .
Dann ist eine differenzierbare Mannigfaltigkeit der Dimension .