`BookProof.NsSpatialMultiplier.mulSymbolOp_apply` (σ : V → ℝ) (hσ : Function.HasTemperateGrowth (fun x : V => ((σ x : ℝ) : ℂ))) (f : 𝓢(V, ℂ)) (x : V) : (mulSymbolOp σ f :...

Initializing...

`BookProof.NsSpatialMultiplier.mulSymbolOp_apply` (σ : V → ℝ) (hσ : Function.HasTemperateGrowth (fun x : V => ((σ x : ℝ) : ℂ))) (f : 𝓢(V, ℂ)) (x : V) : (mulSymbolOp σ f :... · Prove2Me