Definition of polishing mill in US English:

polishing mill

noun

  • 1A factory in which products are polished.

  • 2A lap of metal or other material used in polishing gems (now rare).

Origin

Mid 18th century; earliest use found in Keyssler's Travels.