2 problems

CAT(0)-assumption claim. The CAT(0) assumption in the previous theorem can be dropped.

Morse characterization. The horofunction $h=b_c$ is Morse if and only if there exists a $\delta$ such that, for every $x\in X$, $(i_{\infty})_x$ lies in the $\delta$-neighborhood o…