`BookProof.ChapterLinftyMultiplication.multOp_inner_adjoint` (φ : α → ℂ) (hφ : MemLp φ ⊤ μ) (f g : Lp ℂ 2 μ) : inner ℂ (multOp φ hφ f) g = inner ℂ f (multOp (fun x => (starRingEnd

Initializing...

`BookProof.ChapterLinftyMultiplication.multOp_inner_adjoint` (φ : α → ℂ) (hφ : MemLp φ ⊤ μ) (f g : Lp ℂ 2 μ) : inner ℂ (multOp φ hφ f) g = inner ℂ f (multOp (fun x => (starRingEnd · Prove2Me