Higman–Neumann–Neumann theorem

GPTKB entity