`BookProof.NsFieldMomentumInverse.mem_momDomain_iff` {m : W} (f : Lp ℂ 2 (volume : Measure W)) : f ∈ momDomain m ↔ ∃ g, IsMomInverse m f g

Initializing...

`BookProof.NsFieldMomentumInverse.mem_momDomain_iff` {m : W} (f : Lp ℂ 2 (volume : Measure W)) : f ∈ momDomain m ↔ ∃ g, IsMomInverse m f g · Prove2Me