Formal target: Corpus.WikipediaMandelbrot.MLC

The MLC conjecture, stating that the mandelbrot set is locally connected.

Exact formal statement

LocallyConnectedSpace.{0} (Set.Elem.{0} Corpus.WikipediaMandelbrot.mandelbrotSet)

This target is a formal statement, not a proof of the problem.

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record