Analysing and proving a lot of the structure behind the Jacobian conjecture's counterexample, really interesting! github.com/royvanrijn/jac…
