MDLUL/reell unendlich oft differenzierbar

Start=reell unendlich oft differenzierbar

MDLUL/reell unendlich oft differenzierbar

Ziel=Komplexe Mannigfaltigkeit/Differenzierbare Funktion/E/Definition