Prefer a chat interface with context about you and your work?
Implicit functions from locally convex spaces to Banach spaces
We first generalize the classical implicit function theorem of Hildebrandt and Graves to the case where we have a Keller $C_Π^k$-map f defined on an open subset of E×F and with values in F, for E an arbitrary Hausdorff locally convex space and F a Banach