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

State before:
a b c x y : ℝ
z : ℂ
n : ℕ
ha : a ≥ 0
hc : c > 0
h : b ≥ c
⊢ a / b ≤ a / c
Tactic:
bound
State after:
no goals