P
Initializing...
`BookProof.HermiteExpWall.l2_nonneg` (f : ℝ → ℝ) : 0 ≤ l2 f · Prove2Me