If humans spend same proportion of income on lumens, and you get more lumens per watt, then you will use less wattage per the same proportion of income. Ergo LEDs are more efficient.
Not all those watts are going into lighting. If spending is fixed on lighting but total expenditure is up that means energy is being bought for things other than lighting. Kirchoff's law applied to the grid in toto.
Adds up considering the proliferation of computing devices, particularly cryptomining.
If humans spend same proportion of income on lumens, and you get more lumens per watt, then you will use less wattage per the same proportion of income. Ergo LEDs are more efficient.