Differentiability transfers through a C¹ embedding with injective derivative at an interior point whose image is a neighbourhood

Initializing...

Differentiability transfers through a C¹ embedding with injective derivative at an interior point whose image is a neighbourhood · Prove2Me