Implicit functions from topological vector spaces to Banach spaces
H. Glöckner, Israel Journal of Mathematics 155 (2006) 205–252.