1. A punch-cutting tool, or machine for deepening and enlarging the spaces between the teeth of a worn saw.
gummer |
