`BookProof.NsFieldMomentumInverse.coeFn_cut` (m : W) (n : ℕ) (f : Lp ℂ 2 (volume : Measure W)) : (cut m n f : W → ℂ) =ᵐ[(volume : Measure W)] (cutSet m n).indicator (f : W → ℂ)

Initializing...

`BookProof.NsFieldMomentumInverse.coeFn_cut` (m : W) (n : ℕ) (f : Lp ℂ 2 (volume : Measure W)) : (cut m n f : W → ℂ) =ᵐ[(volume : Measure W)] (cutSet m n).indicator (f : W → ℂ) · Prove2Me