Loading paper
Path-lifting properties of the exponential map with applications to geodesics | Tomesphere