Corollary 11.3 — every vertex of corner$(J)$ not a vertex of conv $P_I$ is cut off by a standard intersection cut

Initializing...

Corollary 11.3 — every vertex of corner$(J)$ not a vertex of conv $P_I$ is cut off by a standard intersection cut · Prove2Me