Describir: Research Progress on Synergistic Effect between Insulation Gas Mixtures