加入
Rado's boundedness conjecture
Show that a linear equation that some finite colouring of the integers avoids can be avoided with a number of colours depending only on its length.
PR
PR 把工作从一条路线带到另一条；合并它就是采纳。
新建 PR
Show that a linear equation that some finite colouring of the integers avoids can be avoided with a number of colours depending only on its length.
PR 把工作从一条路线带到另一条；合并它就是采纳。