Nash-Moser theorem

1. REDIRECT Nash–Moser theorem

{{R from modification}}