Morse–Palais lemma

GPTKB entity