Global hyperbolicity is a sufficient but not necessary condition; weaker causality may hold in reali...
This proposition has not been edited since the history system was added.