{ gp_generators : Type ; gp_rel_index : Type ; gp_relators : gp_rel_index -> FreeGroup gp_generators; }.
Require Import Basics Types. Require Import Truncations.Core. Require Import Algebra.Groups.Group. Require Import Algebra.Groups.FreeGroup. Require Import Algebra.Groups.GroupCoeq. Require Import Spaces.Finite Spaces.List.Core. Require Import WildCat.