∀ {α : Type ua} {β : Type ub} {γ : Type uc} [inst : UniformSpace α] [inst_1 : UniformSpace β] [inst_2 : UniformSpace γ]
  {f₁ : α → β} {f₂ : α → γ}, UniformContinuous f₁ → UniformContinuous f₂ → UniformContinuous fun a => (f₁ a, f₂ a)