NobleBlocks
    A causal order for spacetimes with Lorentzian metrics: proof of compactness of the space of causal curves | NobleBlocks