To learn, the Nash-Moser implicit function theorem, I tried the document
but the article is very encyclopedic. I have a background in functional analysis, but not in differential geometry so I often lost the main idea of the text.
Are there any other treatments of the theorem?
The theorem has been around for a long time, so maybe they are some lecture notes or book which expose it with less sophistication than Hamilton.