Satz über implizite Abbildungen/C/Faser/Komplexe 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 komplexe Mannigfaltigkeit der Dimension .