Yes but I found the definition I gave much more helpful to explain to people as an starting point, in one sentence or two. It helps dispel the relationship with happiness, (in)ability to change and other false dichotomies.
As an anecdotal data point, I was very introvert and I did learn to "be extrovert" and many people wouldn't notice at all, but at the end of the day I need to be alone, sometimes for days to recover and be productive again.
Even though it's anecdotal I think we can't generalize and say "introversion doesn't exist". There's a lot of factors involved. Stuff may be even more complex when dealing with an ASD.