universal cover criterion

Statement

If $X$ is a path-connected, locally path connected, semilocally simply connected topological space, then $X$ admits a universal cover.

Proof

todo