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

State before:
x y : ℝ
h : x < y ∧ True
⊢ x ≤ y
Tactic:
bound [h.1]
State after:
no goals