`BookProof.HermiteStrichartzQG.inner_hermiteLp_eq_zero_iff` {w : L2R} : (∀ n : ℕ, (inner ℂ (hermiteLp n) w : ℂ) = 0) ↔ w = 0

Initializing...

`BookProof.HermiteStrichartzQG.inner_hermiteLp_eq_zero_iff` {w : L2R} : (∀ n : ℕ, (inner ℂ (hermiteLp n) w : ℂ) = 0) ↔ w = 0 · Prove2Me