P
Initializing...
Lemma 1, p. 494 — Π₂(q; a) is submodular in q · Prove2Me