Holroyd–Johnson conjecture for intersecting k-separated sets
Holroyd and Johnson's conjecture. If A⊆[n]k(r)\mathcal{A}\subseteq[n]^{(r)}_kA⊆[n]k(r) is intersecting, then
MathDB