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

State before:
f : ℂ → ℂ
d : ℕ
z : ℂ
t : Set ℂ
⊢ bottcherNear f d 0 = 0
Tactic:
simp only [bottcherNear, MulZeroClass.zero_mul]
State after:
no goals