3,180 followers Ryoma Sin'ya @sinya8282 On Well-Quasi-Ordering Finite Trees https://t.co/gOElTNZILT (Kruskalの定理の3ページ証明?) 11 Oct 2018 Reply Repost Favourite