Etymology

proxy mine

Today it means: A proximity mine; a mine that explodes when something approaches within a certain distance. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok

The story

Shortening.

Etymology from Wiktionary, CC BY-SA 4.0.