`BookProof.HermiteStrichartzQG.oscillatorOp_hermiteLp` (n : ℕ) : hermiteCoreOp oscillatorSymbol ⟨hermiteLp n, hermiteLp_mem_hermiteCore n⟩ = (((n : ℝ) + 1 / 2 : ℝ) : ℂ) • hermiteLp

Initializing...

`BookProof.HermiteStrichartzQG.oscillatorOp_hermiteLp` (n : ℕ) : hermiteCoreOp oscillatorSymbol ⟨hermiteLp n, hermiteLp_mem_hermiteCore n⟩ = (((n : ℝ) + 1 / 2 : ℝ) : ℂ) • hermiteLp · Prove2Me