`BookProof.HermiteStrichartzQG.hermiteLp_mem_hermiteCore` (n : ℕ) : hermiteLp n ∈ hermiteCore

Initializing...

`BookProof.HermiteStrichartzQG.hermiteLp_mem_hermiteCore` (n : ℕ) : hermiteLp n ∈ hermiteCore · Prove2Me