∀ {X : Type u_2} {Y : Type u_3} {Z : Type u_4} [inst : TopologicalSpace X] [inst_1 : TopologicalSpace Y]
  [inst_2 : TopologicalSpace Z] [inst_3 : LocallyCompactSpace Y] (f f_1 : C(X, C(Y, Z))),
  f = f_1 → f.uncurry = f_1.uncurry