mathlib

07d6d173 - refactor(field_theory/is_alg_closed/basic): Generalize alg closures to commutative rings (#11703)

refactor(field_theory/is_alg_closed/basic): Generalize alg closures to commutative rings (#11703) Co-authored-by: chughes <christopher.hughes@inria.fr> Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>