Isn’t the Margolus Levitin theorem slightly different?
As in while it puts the maximum bound of amount of computation per J it doesn’t enforces a requirement that the entropy increase needs to be through a non-information degree of freedom as in heat.