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