Source: wikibot/ellis-numakura-lemma

= Ellis–Numakura lemma
{wiki=Ellis–Numakura_lemma}