Mathlib.Algebraic­Geometry

Algebraic-geometry infrastructure for affine Zariski closures, coordinate rings, and exact dimension of polynomial images.

Polynomial­Image­Dimension 28 core · 42 supporting · 14 submodules Reusable bridges from coordinate-ring, transcendence-degree, and Jacobian certificates to exact affine Zariski dimension over the complex numbers, together with the underlying closure, irreducibility, affine-space, polyn