P
Initializing...
Corollary 13.8 — facets of the dominant of a polytope have at most $\dim(P)+1$ nonzero coefficients · Prove2Me