Theorem: ipow_le_one (HOLFloat/Common.lean)

State before:
r : ℝ
i : ℤ
⊢ 1 ≤ r → 0 ≤ i → 1 ≤ r ^ i
Tactic:
sorry
State after:
no goals