To learn, the Nash-Moser implicit function theorem, I tried with
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 other treatment of the theorem?
The theorem has been around for a long time.
So maybe they are some lecture note or book which expose it with less sophistication than Hamilton.