Higman's embedding theorem

ID: higman-s-embedding-theorem

New to topics? Read the docs here!