`BookProof.NsFieldMomentumInverse.isMomInverse_smul` {m : W} (c : ℂ) {f g : Lp ℂ 2 (volume : Measure W)} (h : IsMomInverse m f g) : IsMomInverse m (c • f) (c • g)

Initializing...

`BookProof.NsFieldMomentumInverse.isMomInverse_smul` {m : W} (c : ℂ) {f g : Lp ℂ 2 (volume : Measure W)} (h : IsMomInverse m f g) : IsMomInverse m (c • f) (c • g) · Prove2Me