Completely agree, I tend to use else for readability. Thanks for commenting!

You don't actually need the else statement here.
If the first return statement runs, the function will be exited, and the second return statement will not run.

That said, I can see why you'd include the else statement for readability.

As body[-1] is the last element, the : is redundant. You could also return the condition:

return sub == tail

or even:

return body[-1] == tail