`BookProof.ChapterLinftyMaximalAbelian.unitInterval_multOp_maximal_abelian` (T : Lp ℂ 2 (MeasureTheory.volume.restrict (Set.Icc (0 : ℝ) 1)) →L[ℂ] Lp ℂ 2 (MeasureTheory.volume.restr

Initializing...

`BookProof.ChapterLinftyMaximalAbelian.unitInterval_multOp_maximal_abelian` (T : Lp ℂ 2 (MeasureTheory.volume.restrict (Set.Icc (0 : ℝ) 1)) →L[ℂ] Lp ℂ 2 (MeasureTheory.volume.restr · Prove2Me