Uniqueness of lifts to a covering space
ID: uniqueness-of-lifts-to-a-covering-space
Let be a covering map and let be path-connected. If two lifts of the same map agree at one point, they agree everywhere. Join that point to any other by a path and apply uniqueness in the path lifting theorem.
New to topics? Read the docs here!