`BookProof.ChapterLinftyMaximalAbelian.symbol_mul` {T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ} (hT : CommutesWithMultOps T) (φ : α → ℂ) (hφ : MemLp φ ⊤ μ) : ((T (multOp φ hφ (oneLp μ)))...

Initializing...

`BookProof.ChapterLinftyMaximalAbelian.symbol_mul` {T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ} (hT : CommutesWithMultOps T) (φ : α → ℂ) (hφ : MemLp φ ⊤ μ) : ((T (multOp φ hφ (oneLp μ)))... · Prove2Me