P
Initializing...
`BookProof.HermiteExpWall.gaussMoment_zero` : gaussMoment 0 = Real.sqrt (2 * Real.pi) · Prove2Me