Zariski–Riemann space (source code)

= Zariski–Riemann space
{wiki=Zariski–Riemann_space}