@misc{indiciae1b0736464d43,
  title = {Choice-Free de Vries Duality},
  author = {Guillaume Massas},
  year = {2022},
  url = {https://arxiv.org/abs/2203.09667},
  note = {Source identifier: 2203.09667}
}