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


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