mathlib3

9e288527 - feat(field_theory/krull_topology): added krull_topology_totally_disconnected (#12398)

feat(field_theory/krull_topology): added krull_topology_totally_disconnected (#12398) Co-authored-by: Johan Commelin <johan@commelin.net> Co-authored-by: Sebastian-Monnet <54352341+Sebastian-Monnet@users.noreply.github.com>