Source: wikibot/halpern-lauchli-theorem

= Halpern–Läuchli theorem
{wiki=Halpern–Läuchli_theorem}