∀ {F : Type u_4} [inst : NormedAddCommGroup F] [inst_1 : NormedSpace ℂ F] (f : TemperedDistribution ℝ F)
  (g : SchwartzMap ℝ ℂ), ((TemperedDistribution.derivCLM F) f) g = f (-(SchwartzMap.derivCLM ℂ ℂ) g)