`BookProof.ChapterLinftyMaximalAbelian.symbol_ae_norm_le` {T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ} (hT : CommutesWithMultOps T) : ∀ᵐ x ∂μ, ‖symbol T x‖ ≤ ‖T‖

Initializing...

`BookProof.ChapterLinftyMaximalAbelian.symbol_ae_norm_le` {T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ} (hT : CommutesWithMultOps T) : ∀ᵐ x ∂μ, ‖symbol T x‖ ≤ ‖T‖ · Prove2Me