P
Initializing...
Hirsch bound for H-polyhedra with at most three excess rows · Prove2Me