"professorpaul" wrote:

The standard answer is to mix a little hot water with the cold. I
believe there is some sort of mixer system for this.

Except that unless you have a recirculating hot water system, the amount of warm
water (full or partial) that will go into the toilet tank is not likely to be
enough to do any good.