Knaster–Kuratowski–Mazurkiewicz lemma (source code)

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