Erdős #195 reduction: the answer is $3$ iff some permutation of $\mathbb{Z}$ avoids monotone $4$-APs

Initializing...

Erdős #195 reduction: the answer is $3$ iff some permutation of $\mathbb{Z}$ avoids monotone $4$-APs · Prove2Me