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

State before:
c : ℂ
d : ℕ
inst✝ : Fact (2 ≤ d)
⊢ gl d c 0 = 1
Tactic:
simp only [gl, zero_pow (d_ne_zero _), MulZeroClass.mul_zero]
State after:
c : ℂ
d : ℕ
inst✝ : Fact (2 ≤ d)
⊢ (1 + 0)⁻¹ = 1

State before:
c : ℂ
d : ℕ
inst✝ : Fact (2 ≤ d)
⊢ (1 + 0)⁻¹ = 1
Tactic:
norm_num
State after:
no goals