`BookProof.ChapterLinftyMaximalAbelian.stronglyMeasurable_symbol` (T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ) : StronglyMeasurable (symbol T)

Initializing...

`BookProof.ChapterLinftyMaximalAbelian.stronglyMeasurable_symbol` (T : Lp ℂ 2 μ →L[ℂ] Lp ℂ 2 μ) : StronglyMeasurable (symbol T) · Prove2Me