P
Initializing...
Theorem 11.2 — every facet of conv $P_I$ cutting off a vertex of $P$ is a standard intersection cut · Prove2Me