Cool-down time for a vapor jet pump or a diffusion pump or a diffusion ejector pump

• 蒸汽喷射泵、扩散泵或扩散喷射泵的冷却时间