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

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