miner's inch

Origin of miner's inch

An Americanism dating back to 1865–70
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018