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!