P
Initializing...
`BookProof.HermiteExpWall.gaussMoment_even_pos` (n : ℕ) : 0 < gaussMoment (2 * n) · Prove2Me