Corollary 13.21 — lifted description of $\mathrm{conv}(P(r_1)\cup P(r_2))$ via $\mathrm{conv}\,Z(r_1,r_2)$

Initializing...

Corollary 13.21 — lifted description of $\mathrm{conv}(P(r_1)\cup P(r_2))$ via $\mathrm{conv}\,Z(r_1,r_2)$ · Prove2Me