@misc{indiciaee91e2339ebd6,
  title = {Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization},
  author = {Guillermo L. Incatasciato and Pedro Sánchez Terraf},
  year = {2024},
  url = {https://arxiv.org/abs/2404.11638},
  note = {Source identifier: 2404.11638}
}