Higman embedding theorem

Redirect to:

• Higman's embedding theorem