mathlib3

324d845a - feat(field_theory/krull_topology): defined Krull topology on Galois groups (#11780)

feat(field_theory/krull_topology): defined Krull topology on Galois groups (#11780) Co-authored-by: Sebastian-Monnet <54352341+Sebastian-Monnet@users.noreply.github.com> Co-authored-by: Johan Commelin <johan@commelin.net>