Mathlib.AlgebraicGeometry.Dimension

Dimension results for polynomial maps.

PolynomialMap 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