{C : Type u} →
  [inst : CategoryTheory.Category.{v, u} C] →
    {G : Type u₁} →
      [inst_1 : CategoryTheory.Groupoid G] →
        CategoryTheory.Localization.StrictUniversalPropertyFixedTarget (CategoryTheory.FreeGroupoid.of C) ⊤ G