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






leanprover-community/mathlib,leanprover-community/mathlib