Skip to content

Erdős problem 567

Start work

Erdős Problem 567 (H5)

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

567.lean

Retained formal statement3 of 3

Erdős Problem 567 (H5)

Is H5H_5 (C5C_5 with two vertex-disjoint chords) Ramsey size linear?

FormalConjectures/ErdosProblems/567.leanErdos567.erdos_567.parts.iii1 lineExact file
True ↔ Erdos567.H5.IsRamseySizeLinear
OpenStatement only, no proof