市場規模   世界の鉱業用潤滑油市場規模は、2023年に25億米ドルに達しました。今後…