`BookProof.StrichartzWave.multiplierOp_deficiencyTrivial` (m : V → ℝ) (hm : Function.HasTemperateGrowth m) {z : ℂ} (hz : z.im ≠ 0) : BookProof.FarisLavine.DeficiencyTrivialAt (schw

Initializing...

`BookProof.StrichartzWave.multiplierOp_deficiencyTrivial` (m : V → ℝ) (hm : Function.HasTemperateGrowth m) {z : ℂ} (hz : z.im ≠ 0) : BookProof.FarisLavine.DeficiencyTrivialAt (schw · Prove2Me