∀ {X : Type u_1} [inst : TopologicalSpace X] {R : Type u_5} [inst_1 : Zero R] {U : Set X} (f : LocallyConstant X R)
  (hU : IsClopen U), f.indicator hU = { toFun := U.indicator ⇑f, isLocallyConstant := ⋯ }