Definition of gang punch in English:

gang punch

noun

historical
  • A punch capable of punching holes or perforations into multiple objects (especially cards) in one operation.

Origin

Mid 19th century.