`BookProof.HermiteStrichartzQG.hermiteCoreOp_hermiteLp` (lam : ℕ → ℝ) (n : ℕ) : hermiteCoreOp lam ⟨hermiteLp n, hermiteLp_mem_hermiteCore n⟩ = ((lam n : ℂ)) • hermiteLp n

Initializing...

`BookProof.HermiteStrichartzQG.hermiteCoreOp_hermiteLp` (lam : ℕ → ℝ) (n : ℕ) : hermiteCoreOp lam ⟨hermiteLp n, hermiteLp_mem_hermiteCore n⟩ = ((lam n : ℂ)) • hermiteLp n · Prove2Me