Evenly covered neighbourhood
ID: evenly-covered-neighbourhood
An open neighbourhood of a point in the base of a covering map is an evenly covered neighbourhood if is a disjoint union of open subsets, each mapped onto all of by a homeomorphism obtained by restricting .
New to topics? Read the docs here!