P
Initializing...
Lemma 7.4, p. 13 — for compact convex 𝒳, (x, ŷ, Z) ∈ 𝒮 ⟺ (x, ŷ, Z) ∈ 𝒮′ at every extreme point ŷ of a polytope 𝒴 · Prove2Me