History

for article: Higman's embedding theorem