Theorem: isConnected_compl_mandelbrot (Ray/Dynamics/Mandelbrot.lean)

State before:
⊢ IsConnected mandelbrotᶜ
Tactic:
rw [mandelbrot_eq_multibrot]
State after:
⊢ IsConnected (multibrot 2)ᶜ

State before:
⊢ IsConnected (multibrot 2)ᶜ
Tactic:
exact isConnected_compl_multibrot 2
State after:
no goals