MDLUL/differenzierbare Mannigfaltigkeit (Rand)

Start=differenzierbare Mannigfaltigkeit (Rand)

MDLUL/differenzierbare Mannigfaltigkeit (Rand)

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