P
Initializing...
A vertex's tight inequalities form an outer with a unique vertex · Prove2Me