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

State before:
f : ℂ → ℂ
d : ℕ
z : ℂ
t : Set ℂ
s : SuperNear f d t
n : ℕ
⊢ term f d n 0 = 1
Tactic:
simp only [term, iterates_at_zero s, g0, Complex.one_cpow]
State after:
no goals