Skip to content

Erdős problem 567

Erdős Problem 567 (H5)

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

567.lean

Retained formal statement2 of 3

Erdős Problem 567 (K33)

Is K3,3K_{3,3} Ramsey size linear?

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

Search problems.science

Find a Problem, Result, source, or page