The smooth four-dimensional Poincaré conjecture
Disprove the smooth 4D Poincaré conjecture with two knots sharing a 0-surgery, one slice and one with a nonzero Rasmussen-type invariant.
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.