矿丁

注释

1.旧时对矿工的称呼。