Theorem: SuperAt.f0 (Ray/Dynamics/BottcherNear.lean)

State before:
f : ℂ → ℂ
d : ℕ
z : ℂ
t : Set ℂ
s : SuperAt f d
⊢ orderAt f 0 > 0
Tactic:
simp [s.fd, s.dp]
State after:
no goals