Definition of "punchion"

punchion