矿丁的近义词大全

矿丁是指在矿山中从事开采、运输、处理矿石等工作的人员。