`BookProof.HermiteStrichartzQG.hermiteCoreOp_symmetric` (lam : ℕ → ℝ) : SymmetricOn hermiteCore (hermiteCoreOp lam)

Initializing...

`BookProof.HermiteStrichartzQG.hermiteCoreOp_symmetric` (lam : ℕ → ℝ) : SymmetricOn hermiteCore (hermiteCoreOp lam) · Prove2Me