Learning seminar on the inverse function theorem of Nash and Moser