Source: wikibot/morse-palais-lemma

= Morse–Palais lemma
{wiki=Morse–Palais_lemma}