Theorem: Bump₁.absNthDeriv_nonneg (ForML/BumpTopology.lean)

State before:
n : ℕ
f : Bump ℝ
x : ℝ
⊢ 0 ≤ absNthDeriv n f x
Tactic:
simp [absNthDeriv]
State after:
no goals