mathlib

e8e05265 - feat(field_theory/polynomial_galois_group): New file (#5861)

feat(field_theory/polynomial_galois_group): New file (#5861) This PR adds the file `polynomial_galois_group`. It contains some of the groundwork needed for proving the Abel-Ruffini theorem. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>