The AI-powered English dictionary
(mining) The space left by the removal of ore. quotations examples
If there are no “deads” brought by hand the filling does not shrink from the back of the gunnie, but deads soon settle and lose a tenth of the height.
1911, Mining Journal, volume 94, page 811