@misc{indiciaee469b9a29d39,
  title = {A Formalization of Complete Discrete Valuation Rings and Local Fields},
  author = {María Inés de Frutos-Fernández and Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio},
  year = {2023},
  doi = {10.1145/3636501.3636942},
  url = {https://arxiv.org/abs/2310.01998},
  note = {Source identifier: 2310.01998}
}