mathlib

3e599600 - feat(ring_theory/nullstellensatz): Classical Nullstellensatz (#5760)

feat(ring_theory/nullstellensatz): Classical Nullstellensatz (#5760) This file states and proves Hilbert's classical nullstellensatz for multi-variate polynomials over an algebraically closed field. Co-authored-by: Johan Commelin <johan@commelin.net>