∀ {α : Type u_1} {M : Type u_5} {N : Type u_6} {F : Type u_7} [inst : Zero M] [inst_1 : Zero N] [inst_2 : FunLike F M N]
  [ZeroHomClass F M N] (f : F) (s : Set α) (g : α → M) (x : α), f (s.indicator g x) = s.indicator (⇑f ∘ g) x