Talk:Morse–Palais lemma