Covering space (source code)

= Covering space
{wiki}

= Covering map
{synonym}

A covering map $p:\widetilde X\to X$ is locally a disjoint union of homeomorphisms onto the same evenly covered open neighbourhood.