Implicit functions from topological vector spaces to Fréchet spaces in the presence of metric estimates
H. Glöckner, (2006).