`BookProof.ChapterF7.mulOp_l2Symmetric` (v : ℝ → ℝ) (hv : Function.HasTemperateGrowth (fun x => (v x : ℂ))) : IsL2Symmetric (mulOp v hv)

Initializing...

`BookProof.ChapterF7.mulOp_l2Symmetric` (v : ℝ → ℝ) (hv : Function.HasTemperateGrowth (fun x => (v x : ℂ))) : IsL2Symmetric (mulOp v hv) · Prove2Me