rough pump (English, noun)
expansion: rough pump (plural rough pumps)
Senses:
glosses: Synonym of roughing pump.
Forms:
form: rough pumps
tags: plural