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

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