Konig S Lemma by Marcos Benevides
:ID: c3826363-989c-49d9-905f-f1349f5528b7
Definition
A tree that is finitely branching but infinite must have an infinite branch.
:ID: c3826363-989c-49d9-905f-f1349f5528b7
A tree that is finitely branching but infinite must have an infinite branch.