MDLUL/Mannigfaltigkeit (differenzierbar)

Start=Mannigfaltigkeit (differenzierbar)

MDLUL/Mannigfaltigkeit (differenzierbar)

Ziel=Differenzierbare Mannigfaltigkeit/Reell/C^k/Ergänzungsstrukturen/Definition