@misc{indiciaec2877a1af1a2,
  title = {The Regular Element Property in Constructive Mathematics},
  author = {Thierry Coquand},
  year = {2024},
  url = {https://arxiv.org/abs/2401.15671},
  note = {Source identifier: 2401.15671}
}