47Jxx Equations and inequalities involving nonlinear operators [See also 46Txx] {For global and geometric aspects, see 58-XX} 25167
47J07 Abstract inverse mapping and implicit function theorems involving nonlinear operators [See also 46T20, 58C15] 267