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

State before:
a b c x✝ y✝ : ℝ
z : ℂ
n : ℕ
x y : ℝ
x0 : 0 < x
h : x ≤ y
⊢ x.log ≤ y.log
Tactic:
bound
State after:
no goals