Also called: Overhead Rope Extension, Rope Overhead Triceps Extension, High-Pulley Rope Overhead Tricep Extension
Any one of these is enough.
Know a gym that has it? Open its page and suggest a change.