Halfspace separation in geodesic convexity. - Niranjan Nair (CoRR, 2026)