Problem JC-002
goaldef
Decide the Jacobian conjecture in dimension 2 over ℂ. Open since 1939.
def goal : Prop := Conjectura.AlgebraicGeometry.JacobianConjectureProp ℂ (Fin 2)Builds on
From Mathlib
import Conjectura.Problems.JC002.Statement · maintainer — open · raw source
Copyright (c) 2026 The Conjectura Authors. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. Authors: The Conjectura Authors