Loading paper
Global hyperbolicity is stable in the interval topology | Tomesphere