P
Initializing...
Olson's Lemma 3.1: some translate $B+a_v$ meets $\bar B$ in $\ge \min\{\frac12(k+1),\frac14(w+2)\}$ points · Prove2Me