In any Hadamard space, projection into convex sets is non-expansive; see Proposition 2.4(4) in *[Metric spaces of non-positive curvature][1]* by Bridson and Haefliger.


  [1]: https://www.springer.com/gp/book/9783540643241