hasCoveringSpace
P147446
predicate
Indicates that one topological space serves as a covering space of another, mapping onto it via a continuous surjective map that is locally a homeomorphism.