∀ {R : Type u_1} [inst : Rack R] {G : Type u_2} [inst_1 : Group G] (F : Rack.EnvelGroup R →* G),
  { toFun := fun x => Quotient.liftOn x (Rack.toEnvelGroup.mapAux ((Quandle.Conj.map F).comp (Rack.toEnvelGroup R))) ⋯,
      map_one' := ⋯, map_mul' := ⋯ } =
    F