∀ {X : Type u_1} [inst : TopologicalSpace X] {Y₁ : Type u_5} {Y₂ : Type u_6} {Z : Type u_7} {f : X → Y₁} {g : X → Y₂},
  IsLocallyConstant f → IsLocallyConstant g → ∀ (h : Y₁ → Y₂ → Z), IsLocallyConstant fun x => h (f x) (g x)