P
Initializing...
Lemma 4.3 (integrally convex argmax) — every integer point of conv(argmax B g) lies in argmax B g · Prove2Me