{"id":"palomar/PALOMAR-2026-08-17-000001","url":"https://github.com/rkirov/jordan_pick/tree/ccbcc61444864ceb7990ab6b1abb5238c4fc6243/submission/rado_riemannSurface","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-08-17-000001-v1.json","repo":"https://github.com/rkirov/jordan_pick","tags":["math.CV","math.GN","msc:30F20","msc:30F15","msc:30F25","msc:30F99","msc:54D65","msc:32Q55","msc:31A05","complex-analysis"],"score":0,"title":"rkirov/jordan_pick","trust":"high","domain":"math.CV","source":"palomar","authors":["Rado Kirov"],"reviews":0,"subject":"math.CV","summary":"jordan_pick — Radó's theorem (Lean 4 / Mathlib)","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-08-17","reactions":{},"formalized":true,"formalizes":[{"title":"Über den Begriff der Riemannschen Fläche (the original statement of Radó's theorem)","identifier":"Acta Litt. Sci. Reg. Univ. Hung. Francisco-Josephinae, Sect. Sci. Math. (Szeged) 2 (1925), 101-121. No DOI known to us; this is the standard bibliographic reference.","relationship":"formalizes"},{"title":"Uniformization of Riemann surfaces revisited","identifier":"arXiv:2008.12189v2; Ann. Global Anal. Geom. 62 (2022), 603-615; doi:10.1007/s10455-022-09860-2","relationship":"formalizes"}]}