P

Initializing...

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