Problem JC-003
goaldef
Refute the Jacobian conjecture in dimension 3 over ℂ.
def goal : Prop := ¬ Conjectura.AlgebraicGeometry.JacobianConjectureProp ℂ (Fin 3)Builds on
From Mathlib
import Conjectura.Problems.JC003.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