inverse function theorem
theorem that, if a function is continuously differentiable with nonzero Jacobian determinant at a given point, then it is locally invertible near that point
theorem that, if a function is continuously differentiable with nonzero Jacobian determinant at a given point, then it is locally invertible near that point