Theorem: g0 (Ray/Dynamics/BottcherNear.lean)

State before:
f✝ : ℂ → ℂ
d✝ : ℕ
z : ℂ
t : Set ℂ
f : ℂ → ℂ
d : ℕ
⊢ g f d 0 = 1
Tactic:
simp only [g, eq_self_iff_true, if_true]
State after:
no goals