% References cited in https://agora.t9k.dev/t/351/gigli-s-characterization-of-alexandrov-curvature