mathlib

d677c298 - feat(field_theory/algebraic_closure): versions of exists_aeval_eq_zero for rings (#9517)