Theorem: isConnected_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_multibrot 2
State after:
no goals