International Journal of Mathematics and Mathematical Sciences Volume 9 (1986), Issue 2, Pages 361-364doi:10.1155/S0161171286000443
The Nash-Moser inverse function theorem is proved for different kind of differentiabilities.