[Wikipedia](https://en.wikipedia.org/wiki/Kruskal%27s_tree_theorem) https://www.cs.umd.edu/~gasarch/COURSES/752/S22/slides/nashwilliams.pdf https://www.researchgate.net/publication/352225602_Simplified_Proof_of_Kruskal's_Tree_Theorem https://www.cs.tau.ac.il/~nachumd/term/Gallier.pdf - proof at the top of page 17 looks nice, since it depends on lots of `WellQuasiOrdered` lemmas proved before it.
Wikipedia
https://www.cs.umd.edu/~gasarch/COURSES/752/S22/slides/nashwilliams.pdf
https://www.researchgate.net/publication/352225602_Simplified_Proof_of_Kruskal's_Tree_Theorem
https://www.cs.tau.ac.il/~nachumd/term/Gallier.pdf - proof at the top of page 17 looks nice, since it depends on lots of
WellQuasiOrderedlemmas proved before it.