`BookProof.NsFieldMomentumInverse.momSymbol_ne_zero_ae` {m : W} (hm : m ≠ 0) : ∀ᵐ ξ ∂(volume : Measure W), momSymbol m ξ ≠ 0

Initializing...

`BookProof.NsFieldMomentumInverse.momSymbol_ne_zero_ae` {m : W} (hm : m ≠ 0) : ∀ᵐ ξ ∂(volume : Measure W), momSymbol m ξ ≠ 0 · Prove2Me