Theorem: Complex.cpow_inv_ofReal_pos (PrimeNumberTheoremAnd/PerronFormula.lean)

State before:
a : ℝ
ha : 0 ≤ a
r : ℂ
⊢ (↑a ^ r)⁻¹ = (↑a)⁻¹ ^ r
Tactic:
sorry
State after:
no goals