`BookProof.HermiteStrichartzQG.qg3D_symmetric` (xi : ℕ → Fin 3 → ℝ) (xiY V : ℕ → ℝ) : SymmetricOn hermiteCore (qg3DHermiteHamiltonian xi xiY V)

Initializing...

`BookProof.HermiteStrichartzQG.qg3D_symmetric` (xi : ℕ → Fin 3 → ℝ) (xiY V : ℕ → ℝ) : SymmetricOn hermiteCore (qg3DHermiteHamiltonian xi xiY V) · Prove2Me