Ray

Formalizing results about the Mandelbrot set in Lean