`BookProof.NsFieldMomentumInverse.momDomain_dense` {m : W} (hm : m ≠ 0) : Dense ((momDomain m : Set (Lp ℂ 2 (volume : Measure W))))

Initializing...

`BookProof.NsFieldMomentumInverse.momDomain_dense` {m : W} (hm : m ≠ 0) : Dense ((momDomain m : Set (Lp ℂ 2 (volume : Measure W)))) · Prove2Me