Skip to content

Problem

erdos:171

Erdős problem 171

Declared status
proved
Formalization
not formalized
OEIS
A156989

density Hales-Jewett

Matching claims

0
No direct claims
This problem has no directly related claim record.