Talk:Lie–Palais theorem