Theorem: ipow_to_zero (HOLFloat/Common.lean)

State before:
r : ℝ
⊢ r ^ 0 = 1
Tactic:
simp
State after:
no goals