The elephant in the room

See what I said above about wikibrawling skills. True story: I've edited one (math-type) article to add a synonym to the name of the concept. The synonym appears in dozens of books that can searched from Google Books. A long-term editor of that article reverted immediately saying the synonym is confusing. I asked on talk page for him to explain why. He managed to dig one (1) article in which the term was used with a slightly more general meaning (as if that even matters). According to his user page he is mostly a "reactive" editor -- meaning he thinks Wikipedia is perfect and spends most of is time reverting others' edits. How much of my time do you think I should waste battling a guy like that for a trivial and obvious improvement?