Theorem: f_0 (Ray/Dynamics/Multibrot/Basic.lean)

State before:
c : ℂ
d✝ : ℕ
inst✝¹ : Fact (2 ≤ d✝)
d : ℕ
inst✝ : Fact (2 ≤ d)
⊢ f d c 0 = ↑c
Tactic:
simp only [f, ← coe_zero, lift_coe', f', zero_pow (d_ne_zero _), zero_add]
State after:
no goals