Hall–Janko group

GPTKB entity