The Erdős–Sós conjecture (Erdős Problem 548)

Source: url:https://github.com/tadamcz/erdos548 Authors: Tom Adamczewski Status: verified Main declarations: Erdos548.erdos_548 Tags: extremal-graph-theory, erdos-problems, trees, combinatorics MSC: 05C35, 05C05