P

Initializing...

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