The Häggström–Pemantle conjecture on competing growth
Prove that two competing growth processes on the lattice cannot both grow forever when their speeds differ.
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.