`BookProof.HermiteStrichartzQG.hermiteDiagOp_symmetric` (lam : ℕ → ℝ) : SymmetricOn (hermiteDiagDomain lam) (hermiteDiagOp lam)

Initializing...

`BookProof.HermiteStrichartzQG.hermiteDiagOp_symmetric` (lam : ℕ → ℝ) : SymmetricOn (hermiteDiagDomain lam) (hermiteDiagOp lam) · Prove2Me