`BookProof.HermiteExpWall.gaussMoment_shift_eight` (N : ℕ) : gaussMoment (2 * N + 8) = ((2 * (N:ℝ)) + 7) * ((2 * (N:ℝ)) + 5) * ((2 * (N:ℝ)) + 3) * ((2 * (N:ℝ)) + 1) * gaussMoment (

Initializing...

`BookProof.HermiteExpWall.gaussMoment_shift_eight` (N : ℕ) : gaussMoment (2 * N + 8) = ((2 * (N:ℝ)) + 7) * ((2 * (N:ℝ)) + 5) * ((2 * (N:ℝ)) + 3) * ((2 * (N:ℝ)) + 1) * gaussMoment ( · Prove2Me