Loading paper
Global invertibility and implicit function theorems by mountain pass theorem | Tomesphere