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

State before:
c : ℂ
d : ℕ
inst✝ : Fact (2 ≤ d)
⊢ f d c ∞ = ∞
Tactic:
simp only [f, f', lift_inf', eq_self_iff_true, imp_true_iff]
State after:
no goals