Corollary 7.3 — iterating over every 0-1 index reaches the integer hull, $P_{1,\dots,p}(K) = \mathrm{conv}(K_0)$

Initializing...

Corollary 7.3 — iterating over every 0-1 index reaches the integer hull, $P_{1,\dots,p}(K) = \mathrm{conv}(K_0)$ · Prove2Me