erdős #1079
Let . If is a graph on vertices with at least edges then must contain a vertex with degree whose neighbourhood contains at least edges?
Worked, still open.
graph theory · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems