`BookProof.HermiteStrichartzQG.qg3D_deficiencyTrivialAt` (xi : ℕ → Fin 3 → ℝ) (xiY V : ℕ → ℝ) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt hermiteCore (qg3DHermiteHamiltonian xi x

Initializing...

`BookProof.HermiteStrichartzQG.qg3D_deficiencyTrivialAt` (xi : ℕ → Fin 3 → ℝ) (xiY V : ℕ → ℝ) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt hermiteCore (qg3DHermiteHamiltonian xi x · Prove2Me