P
Initializing...
`BookProof.HermiteExpWall.abs_pow_eight` (t : ℝ) : |t| ^ 8 = t ^ 8 · Prove2Me