TY  - RPRT
TI  - A Formalization of Complete Discrete Valuation Rings and Local Fields
AU  - María Inés de Frutos-Fernández
AU  - Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio
PY  - 2023
DO  - 10.1145/3636501.3636942
UR  - https://arxiv.org/abs/2310.01998
ID  - 2310.01998
ER  -