No, that's not the definition of "gaslighting."
He was dismissive but he wasn't trying to make you think you were losing your mind.
You seem very worried about being taken advantage of or "lied to." Personally I would not consider someone's online profile, made before they ever knew I existed, a "lie" directed to me.
And another thing about "ribbing." One of my former co-workers, now retired, is a man in his late 60s, about 5'4". He is nice-looking, kind, knows how to do all sorts of things from handyman / DIY to art to gardening. He is a good friend to all, generous to his niece and nephew, a good person.
But he has never had a relationship or family because his macho, sociopathic and tall dad made his life a living hell over his height, from adolescence onward, jeering and bullying him and telling him how shrimpy and useless he was, and how no one would want him, and how he wasn't tall enough to do "manly" things around the house. (I am acquainted with his sister who privately corroborated all of this.)
He has felt unattractive and ugly for the past 50 years, and was conditioned to see himself as "less than" most other men.
He actively gets uncomfortable when talk turns to height, even if it's not directed toward him (for example at a work lunch, a colleague was talking about how her daughter already was taller than both her and her son). He finally saw a therapist a few years ago for 24 months and seems to be much more at peace with himself. But I imagine if a new acquaintance had taken it upon herself to "rib" him about fudging his height on a profile, he would have a big setback.
That's one reason why I never 'rib' anyone about physical characteristics.