External Links

    Journal: Formalized Mathematics

    Volume 28, Issue 3

    227 -- 237Roland Coghetto. A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods
    239 -- 249Sebastian Koch. Extended Natural Numbers and Counters
    251 -- 261Christoph Schwarzweller. Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials
    runs on