`BookProof.NsFieldMomentumInverse.volume_momSymbol_zero` {m : W} (hm : m ≠ 0) : (volume : Measure W) {ξ : W

Initializing...

`BookProof.NsFieldMomentumInverse.volume_momSymbol_zero` {m : W} (hm : m ≠ 0) : (volume : Measure W) {ξ : W | momSymbol m ξ = 0} = 0 · Prove2Me