`BookProof.StrichartzWave.potentialOp_deficiencyTrivial` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) {z : ℂ} (hz : z.im ≠ 0) : BookProof.FarisLavine.DeficiencyTrivialAt (schwa

Initializing...

`BookProof.StrichartzWave.potentialOp_deficiencyTrivial` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) {z : ℂ} (hz : z.im ≠ 0) : BookProof.FarisLavine.DeficiencyTrivialAt (schwa · Prove2Me