Congruence subgroup

GPTKB entity