`BookProof.ChapterLpRestrictSplit.inner_restrictEmbed_eq_zero` {A B : Set α} (hA : MeasurableSet A) (hB : MeasurableSet B) (hAB : Disjoint A B) (u : Lp ℂ 2 (mu.restrict A)) (v : Lp

Initializing...

`BookProof.ChapterLpRestrictSplit.inner_restrictEmbed_eq_zero` {A B : Set α} (hA : MeasurableSet A) (hB : MeasurableSet B) (hAB : Disjoint A B) (u : Lp ℂ 2 (mu.restrict A)) (v : Lp · Prove2Me