P
Initializing...
Lemma 1, p. 87 — V₀(z, c) is submodular in (z₁, …, zₙ) · Prove2Me