@article{2023arXiv231001998I,
    doi = {10.48550/arXiv.2310.01998},
    Author = {{In{\'e}s de Frutos-Fern{\'a}ndez}, Mar{\'\i}a and {Nuccio Mortarino Majno Di Capriglio}, Filippo Alberto Edoardo},
    EID = {arXiv:2310.01998},
    EPrint = {2310.01998},
    File = {A Formalization of Complete Discrete Valuation Rings and Local Fields - 2310.01998.pdf},
    Journal = {arXiv e-prints},
    Keywords = {Computer Science - Logic in Computer Science, Mathematics - Number Theory},
    Month = {October},
    Pages = {arXiv:2310.01998},
    PrimaryClass = {cs.LO},
    Title = {{A Formalization of Complete Discrete Valuation Rings and Local Fields}},
    Year = {2023},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv231001998I},
    bdsk-url-1 = {https://doi.org/10.48550/arXiv.2310.01998},
    date-added = {2023-10-05 16:34:34 +0200},
    date-modified = {2023-10-05 16:34:34 +0200}
}

@article{2023arXiv231001998I, doi = {10.48550/arXiv.2310.01998}, Author = {{In{\'e}s de Frutos-Fern{\'a}ndez}, Mar{\'\i}a and {Nuccio Mortarino Majno Di Capriglio}, Filippo Alberto Edoardo}, EID = {arXiv:2310.01998}, EPrint = {2310.01998}, File = {A Formalization of Complete Discrete Valuation Rings and Local Fields - 2310.01998.pdf}, Journal = {arXiv e-prints}, Keywords = {Computer Science - Logic in Computer Science, Mathematics - Number Theory}, Month = {October}, Pages = {arXiv:2310.01998}, PrimaryClass = {cs.LO}, Title = {{A Formalization of Complete Discrete Valuation Rings and Local Fields}}, Year = {2023}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv231001998I}, bdsk-url-1 = {https://doi.org/10.48550/arXiv.2310.01998}, date-added = {2023-10-05 16:34:34 +0200}, date-modified = {2023-10-05 16:34:34 +0200} }