∀ {α : Type u_1} {γ : Type u_2} [inst : TopologicalSpace α] [inst_1 : NonUnitalNormedRing γ] (g : α → γ)
  (hg₁ : Continuous g) (hg₂ : HasCompactSupport g), ofCompactSupport g hg₁ hg₂ ∈ compactlySupported α γ