MDLUL/lokaler Diffeomorphismus

Start=lokaler Diffeomorphismus

MDLUL/lokaler Diffeomorphismus

Ziel=Lokaler_C^k-Diffeomorphismus/Definition