1 paper
Mathias Braun, Carlo Rotolo
We prove the Gannon-Lee incompleteness theorem for globally hyperbolic spacetimes. We assume the synthetic null energy condition of Ketterer and a trappedness condition we call "sy…