47J07 - Operator theory :: Equations and inequalities involving nonlinear operators :: Abstract inverse mapping and implicit function theorems