Source: /wikibot/kruskal-s-tree-theorem

= Kruskal's tree theorem
{wiki=Kruskal's_tree_theorem}