Template:GAP code for subgroup property

GAP code
satisfies metaproperty::GAP-codable subgroup property