Essentially: am I reading this right; is this true?
Yes, it’s true. Leadsom has withdrawn.
This does not absolutely guarantee May becomes Prime Minister - the 1922 Committee of the Conservative Party could reopen things - but it would be quite extraordinary if they did.