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

State before:
a b c : ℝ
n m : ℕ
h : b ≤ c
⊢ min a b ≤ c
Tactic:
bound
State after:
no goals