Theorem: rpow_to_npow (ForML/Dirac.lean)

State before:
r : ℝ
n : ℕ
h : r = ↑n
x : ℝ
⊢ x ^ r = x ^ n
Tactic:
simp [h]
State after:
no goals