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

State before:
a b c : ℝ
n m : ℕ
a0 : 0 < a
a1 : a ≤ 1
h : c ≤ b
⊢ a ^ b ≤ a ^ c
Tactic:
bound
State after:
no goals