TY - RPRT TI - A proof of a Melrose's trace formula AU - Yves Colin de Verdière PY - 2023 UR - https://arxiv.org/abs/2205.08744 ID - 2205.08744 ER -