Warm-up time for a vapor jet pump or a diffusion pump or a diffusion ejector pump是什么意思_Warm-up time for a vapor jet pump or a diffusion pump or a diffusion ejector pump在线翻译_英语_读音_用法_例句