P
Initializing...
`BookProof.ChapterE2.stick_nonneg` (θ : ℕ → ℝ) (n : ℕ) : 0 ≤ stick θ n · Prove2Me