`BookProof.ChapterLinftyMaximalAbelian.multOp_indicator_oneLp` {s : Set α} (hs : MeasurableSet s) (c : ℂ) : multOp (s.indicator fun _ => c) ((memLp_top_const c).indicator hs) (oneL

Initializing...

`BookProof.ChapterLinftyMaximalAbelian.multOp_indicator_oneLp` {s : Set α} (hs : MeasurableSet s) (c : ℂ) : multOp (s.indicator fun _ => c) ((memLp_top_const c).indicator hs) (oneL · Prove2Me