@misc{indiciae41f9d45b82d7,
  title = {Anneaux à diviseurs et anneaux de Krull (une approche constructive)},
  author = {Thierry Coquand and Henri Lombardi},
  year = {2024},
  doi = {10.1080/00927872.2014.975346},
  url = {https://arxiv.org/abs/1507.02880},
  note = {Source identifier: 1507.02880}
}