P
Initializing...
Ho: a permutation of $\mathbb{N}$ with no monotone $4$-term AP · Prove2Me