It was originally 35,000 in 2016 verifiable by a simple Google search: https://www.cars.com/articles/tesla-finally-puts-the-model-3...
$25,000 was speculative in 2020 not a hard deliverable, but $35,000 was the main promise which was delivered. I'm not even an Elon fanboy. I think he's a white supremacist. But credit is due where credit is due.