jacpoisson0.1.0
Lean 4 proof that the Jacobian conjecture in dimension 2n implies the Poisson conjecture in dimension n, Formal Conjectures' math/0608009 statement (Adjamagbo and van den Essen, Theorem 7)
1-1 of 1 versions of jacpoisson
Sort by
Date
- 0.1
0.1.0v4.35.0-rc3