Etymology
Today it means: to remove a pillar, or pillars, from a mine Full definition →
From de- + pillar.
Etymology from Wiktionary, CC BY-SA 4.0.