Today, he wouldn't tell you how to define a woman.
You don't know my professors. The type of people that taught my type of history, were as far from "woke" as Genghis Khan is from Greta Thunberg.
There are different types of history, and consequently different professors.
If you are a major in "Women's Studies" or "Decolonization" - you'll get the according professors. But if you study Gomulka-era Poland, you get people like my Polish professor, who gives exactly zero ***** about gender issues. If you study the Spanish Civil War, then you might get an Austrian professor who most suspected of fascist sympathies for Franco.
Different types of history.