divertor (English, noun)
expansion: divertor (plural divertors)
Senses:
glosses: Alternative form of diverter.
tags: alt-of
alternative
Forms:
form: divertors
tags: plural