A Formalization of Complete Discrete Valuation Rings and Local Fields

DOI10.1145/3636501.3636942MaRDI QIDQ6453617zbMATH OpenWikidataFDO

Authors María Inés de Frutos-Fernández, Filippo A. E. Nuccio Mortarino Majno di Capriglio

Publication date 3 October 2023

Full work available at URL https://doi.org/10.1145/3636501.3636942

This page was built for publication: A Formalization of Complete Discrete Valuation Rings and Local Fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6453617)