@misc{indiciaef0538f6c0884,
  title = {Some remarks about normal rings},
  author = {Henri Lombardi and Thierry Coquand},
  year = {2022},
  doi = {10.1515/9781501502620-008},
  url = {https://arxiv.org/abs/2210.16588},
  note = {Source identifier: 2210.16588}
}