mathlib3

468b8ffd - feat(field_theory/polynomial_galois_group): instances of trivial Galois group (#6634)

feat(field_theory/polynomial_galois_group): instances of trivial Galois group (#6634) This PR adds a bunch of instances where the Galois group of a polynomial is trivial. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>