Commit 2025-01-02 09:29 d3cb5ba3

chore(AlgebraicClosure): construction with less dependency (#20295) #19853 golfed the construction using a theorem of Isaacs, but introduced more dependency. This PR reduces the dependency again using a cleverer construction that adjoins all roots of every (monic) polynomial, rather than one root of each polynomial. The proof follows https://kconrad.math.uconn.edu/blurbs/galoistheory/algclosureshorter.pdf.