MDLUL/Mannigfaltigkeiten mit Rand

Start=Mannigfaltigkeiten mit Rand

MDLUL/Mannigfaltigkeiten mit Rand

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