Theoretical studies of reverse extrusion process of thick-walled tube billet by punch with flat working surface | Synapse