An implicit function theorem for non-smooth maps between Fréchet spaces
We prove an inverse function theorem of Nash-Moser type for maps between Fréchet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome the lack of derivatives. In fact, our theorem holds when the map to be inverted is not C^2