Source: wikibot/erdos-dushnik-miller-theorem

= Erdős–Dushnik–Miller theorem
{wiki=Erdős–Dushnik–Miller_theorem}