P
Initializing...
Monochromatic $k$-sets: pair-count bound · Prove2Me