MDLUL/Untermannigfaltigkeit mit Rand

Start=Untermannigfaltigkeit mit Rand

MDLUL/Untermannigfaltigkeit mit Rand

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