Causal structure

  1. Synthetic Lorentzian Cartan-Hadamard theorem established