`BookProof.ChapterLinftyMaximalAbelian.commutant_eq_multOp` {T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ} (hT : CommutesWithMultOps T) : T = multOp (symbol T) (memLp_top_symbol hT)

Initializing...

`BookProof.ChapterLinftyMaximalAbelian.commutant_eq_multOp` {T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ} (hT : CommutesWithMultOps T) : T = multOp (symbol T) (memLp_top_symbol hT) · Prove2Me