Also called: One-Arm Overhead Cable Extension, Unilateral Overhead Cable Extension, One-Arm Overhead Tricep Cable Extension
Any one of these is enough.
Know a gym that has it? Open its page and suggest a change.