Prefer a chat interface with context about you and your work?
Total curvature and simple pursuit on domains of curvature bounded above