`BookProof.ChapterLinftyMaximalAbelian.multOp_algebra_maximal_abelian` (T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ) (hT : CommutesWithMultOps T) : ∃ (ψ : α → ℂ) (hψ : MemLp ψ ⊤ μ), T =...

Initializing...

`BookProof.ChapterLinftyMaximalAbelian.multOp_algebra_maximal_abelian` (T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ) (hT : CommutesWithMultOps T) : ∃ (ψ : α → ℂ) (hψ : MemLp ψ ⊤ μ), T =... · Prove2Me