Earlier quoted context omitted.
> as the Sun cooled Huh? The Sun has consistently gotten hotter with age.
Thank you for the factual correction. It’s the geothermal (aerothermal?) heat that has decreased by more than the sun’s increasing luminosity, resulting in net temperature loss.
Mars was somewhat warmer before, but that was not because of geothermal, but because it used to have a thicker atmosphere, and that retained heat better.