MDLUL/differenzierbare Mannigfaltigkeit (mr)

Start=differenzierbare Mannigfaltigkeit (mr)

MDLUL/differenzierbare Mannigfaltigkeit (mr)

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