Theorem: multibrot_basin' (Ray/Dynamics/Multibrot/Basic.lean)

State before:
c : ℂ
d : ℕ
inst✝ : Fact (2 ≤ d)
⊢ c ∈ multibrot d ↔ (c, ↑c) ∉ ⋯.basin
Tactic:
simp only [multibrot, mem_setOf, Super.basin_iff_attracts, Attracts]
State after:
no goals