Source: /wikibot/knaster-kuratowski-mazurkiewicz-lemma

= Knaster–Kuratowski–Mazurkiewicz lemma
{wiki=Knaster–Kuratowski–Mazurkiewicz_lemma}