mathlib

b9da50ad - feat(ring_theory/*): Various lemmas used to prove classical nullstellensatz (#5632)