P
Initializing...
Theorem 2.18 — facets of $\mathrm{cl\,conv}(F)$ are the extreme rays of $W_0$ · Prove2Me