P
Initializing...
BCR 2023, Lemma 12 — a chunk system on $k+1$ points with expected total $\\Omega(\\log^2 k)\\,d(s,t)$ · Prove2Me