@misc{mazur-2026-moser-worm-mixed-area-lower-bound,
  author = {Mazur, Lech},
  title = {A Mixed-Area Lower Bound for Moser's Convex Worm Problem},
  publisher = {ProofAtlas},
  year = {2026},
  date = {2026-09-02},
  version = {public version of September 2, 2026},
  url = {https://proofatlas.ai/formalizations/moser-worm-mixed-area-lower-bound/}
}