So i did a quick Google on women in mining in what I assume is your country
And first of you are definitely wrong.
https://blog.dol.gov/2022/03/22/a-brief-history-of-women-in-mining
"In 1974, Diana Baldwin [...] and Anita Cherry [...] became the first women to work in a coal mine."
"For the years 1978-1980, women made up 6.5 percent of all new underground workers."
And "feminists" did, and had, to fight for the right to mine.
"McCusker, died from a roof fall in a coal mine in Pennsylvania. It had taken her two years and having to file a sex discrimination suit in federal court to get her job."
But man i sure wonder why not many women choose this job...
"In 1981 the Coal Employment Project conducted a survey to learn about sexual harassment in coal mines, and found widespread and serious concerns related to both harassment and discrimination in the industry: 17 percent of respondents said they had been physically attacked on the job [...] and 66 percent of the women reported being propositioned by a co-worker."
Could it be because of sexist aholes like you?
But sadly for you, to this day many women are determined enough to do as they please, regardless of if it fits into your world view or not.
Tho i have no doubt alot of people hiring are sexist, just like in a lot of other industries.
So unlike men, no woman gets this job handed to her. And you really should have a little bit more respect for the truly persistent and hardworking miners out there.
"Today, women hold every type of job available in the mining industry, from general laborer to mining engineer in underground and surface mines, and coal metal and nonmetal mines."