∀ {α : Type ua} {β : Type ub} {γ : Type uc} [inst : UniformSpace α] [inst_1 : UniformSpace β] [inst_2 : UniformSpace γ]
  (f : α → β → γ), UniformContinuous₂ f = UniformContinuous (Function.uncurry f)