`BookProof.NsFieldMomentumInverse.momentum_kernel_trivial` {m : W} (hm : m ≠ 0) (g : Lp ℂ 2 (volume : Measure W)) (h : IsMomInverse m 0 g) : g = 0

Initializing...

`BookProof.NsFieldMomentumInverse.momentum_kernel_trivial` {m : W} (hm : m ≠ 0) (g : Lp ℂ 2 (volume : Measure W)) (h : IsMomInverse m 0 g) : g = 0 · Prove2Me