Русско-английский научно-технический словарь
• The pivot hole is finished to size after the hardening operation.