Formalising the Krull Topology in Lean | Publicación