最終更新日：2024/08/08
(mathematics) A theorem stating that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.
正解を見る
Kruskal's tree theorem
編集履歴（0）
元となった辞書の項目
Kruskal's tree theorem
name
