P
Initializing...
The image of a C¹ map between 3-manifolds is a neighbourhood of the image of an interior point where the derivative is injective · Prove2Me