∀ {Y : Type u_5} {α : Type u_6} {β : Type u_8} [tY : TopologicalSpace Y] [uα : UniformSpace α] [uβ : UniformSpace β]
  {A : Set Y} {u : Y → β → α},
  UniformEquicontinuous (u ∘ Subtype.val) → Continuous u → UniformEquicontinuous (u ∘ Subtype.val)