P
Initializing...
A vertex-exposing redundant row preserves the polytope and endpoint separation · Prove2Me