I know it’s not exactly a nice word but if you know of a colleague ( 60 years old man) who is patronising and re-explains things to competent women colleagues (and/or defaults to saying no if the woman says a point but then basically says the exact same thing she did but with other words) yet has conversations on an equal footing with men colleagues, is it incredibly bad to call him a mansplainer?
I do understand the gender discrimination undertone of it if you were to really analyse it.