P
Initializing...
`BookProof.HermiteExpWall.l2_psi_sq` (N : ℕ) : l2 (psi N) ^ 2 = gaussMoment (2 * N) · Prove2Me