`BookProof.MixedLinearEsa.momentum_test_compactSupport_extend` (m : V) (z : ℂ) (w : Lp ℂ 2 (volume : Measure V)) (hw : ∀ φ : 𝓢(V, ℂ), HasCompactSupport (φ : V → ℂ) → ∫ x,...

Initializing...

`BookProof.MixedLinearEsa.momentum_test_compactSupport_extend` (m : V) (z : ℂ) (w : Lp ℂ 2 (volume : Measure V)) (hw : ∀ φ : 𝓢(V, ℂ), HasCompactSupport (φ : V → ℂ) → ∫ x,... · Prove2Me