Kruskal's theorem#Friedman's finite form

1. REDIRECT Kruskal's tree theorem

{{Redirect category shell|

{{R from less specific name}}

}}