mathlib3

[Merged by Bors] - refactor(field_theory/polynomial_galois_group): remove `open_locale classical`

#19184

Closed