@misc{indiciae098593c0e951,
  title = {A proof of a Melrose's trace formula},
  author = {Yves Colin de Verdière},
  year = {2023},
  url = {https://arxiv.org/abs/2205.08744},
  note = {Source identifier: 2205.08744}
}