Principal congruence subgroup

GPTKB entity