∀ (E : Type u_3) (F : Type u_4) [inst : NormedAddCommGroup E] [inst_1 : NormedAddCommGroup F] [inst_2 : NormedSpace ℝ E]
  [inst_3 : NormedSpace ℂ F] [inst_4 : MeasurableSpace E] [inst_5 : BorelSpace E] [inst_6 : SecondCountableTopology E]
  (μ μ_1 : MeasureTheory.Measure E) (e_μ : μ = μ_1) [hμ : μ.HasTemperateGrowth],
  SchwartzMap.toTemperedDistributionCLM E F μ = SchwartzMap.toTemperedDistributionCLM E F μ_1