`BookProof.ChapterLpRestrictSplit.restrictEmbed_restrictProj_coeFn` {A : Set α} (hA : MeasurableSet A) (u : Lp ℂ 2 mu) : (restrictEmbed hA (restrictProj A u) : α → ℂ) =ᵐ[mu] A.indi

Initializing...

`BookProof.ChapterLpRestrictSplit.restrictEmbed_restrictProj_coeFn` {A : Set α} (hA : MeasurableSet A) (u : Lp ℂ 2 mu) : (restrictEmbed hA (restrictProj A u) : α → ℂ) =ᵐ[mu] A.indi · Prove2Me