erdős #984
Can be -coloured such that ifis a -term monochromatic arithmetic progression then for all ?
Worked, still open.
arithmetic progressions · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems