Source: wikibot/higman-s-embedding-theorem

= Higman's embedding theorem
{wiki=Higman's_embedding_theorem}