Join
The Hirsch conjecture in dimension four
Find a 4-dimensional polytope with n facets whose graph has diameter greater than n − 4, or prove the Hirsch bound in dimension 4.
Comparing changes
Choose two branches to see what changed, then open a pull request to bring the work across.
Pick two different branches
A pull request can go from any branch into any other.