Uniqueness

  1. Existence, comparison, and uniqueness shown for anisotropic evolution equations
  2. Synthetic Lorentzian Cartan-Hadamard theorem established