P

Initializing...

Theorem 13.7 — the facets of the dominant of an arbitrary polytope $P\subseteq[0,1]^n$ · Prove2Me