A review of the current progress in recycling technologies for gallium and rare earth elements from light-emitting diodes