Nash 1956 + Moser 1961: implicit-function theorem in tame Frechet spaces with smoothing operators; basis of Nash 1954 isometric embedding + Moser 1962 KAM.
Nash 1956 + Moser 1961: implicit-function theorem in tame Frechet spaces with smoothing operators; basis of Nash 1954 isometric embedding + Moser 1962 KAM.