`BookProof.ChapterLpRestrictSplit.restrictEmbed_add_restrictEmbed_compl` {A : Set α} (hA : MeasurableSet A) (u : Lp ℂ 2 mu) : restrictEmbed hA (restrictProj A u) + restrictEmbed hA

Initializing...

`BookProof.ChapterLpRestrictSplit.restrictEmbed_add_restrictEmbed_compl` {A : Set α} (hA : MeasurableSet A) (u : Lp ℂ 2 mu) : restrictEmbed hA (restrictProj A u) + restrictEmbed hA · Prove2Me