The closedness conjecture for maximal FL zones
Closedness conjecture. Maximal FLFLFL zones are closed.
MathDB