Theorem: test_extra (Ray/Tactic/BoundTests.lean)

State before:
a b c x y : ℝ
z : ℂ
n : ℕ
f : ℕ → ℝ
h : ∀ (n : ℕ), f n ≥ 0
⊢ f n ≥ 0
Tactic:
bound [h n]
State after:
no goals