Template:GAP code for subgroup metaproperty