Radó's theorem for Riemann surfaces

Source: url:https://github.com/rkirov/jordan_pick Authors: Rado Kirov Status: verified Main declarations: rado_riemannSurface Tags: riemann-surfaces, second-countability, harmonic-functions, perron-method MSC: 30F15, 30F20, 54D65