`BookProof.HermiteStrichartzQG.hermiteCoreOp_deficiencyTrivialAt` (lam : ℕ → ℝ) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt hermiteCore (hermiteCoreOp lam) z

Initializing...

`BookProof.HermiteStrichartzQG.hermiteCoreOp_deficiencyTrivialAt` (lam : ℕ → ℝ) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt hermiteCore (hermiteCoreOp lam) z · Prove2Me