Kruskal's theorem

1. REDIRECT Kruskal's tree theorem

{{Redirect category shell|

{{R from less specific name}}

}}