Definition of miner's friend in English:

miner's friend

(also miners' friend)

noun

historical
  • 1An early type of steam engine.

  • 2The Davy safety lamp.

Origin

Early 18th century; earliest use found in Thomas Savery (?1650–1715), engineer.