Kruskal's tree theorem

From Free net encyclopedia