A Formalization of Complete Discrete Valuation Rings and Local Fields.

Mara Ins de Frutos-Fernndez, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio

Browse the full CPP paper archive.