Formalizing Polynomial Laws and the Universal Divided Power Algebra

MaRDI QIDQ7206912arXivFDO

Authors Antoine Chambert-Loir, María Inés de Frutos-Fernández

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

(p)-adic cohomology, crystalline cohomology (14F30) Formalization of mathematics in connection with theorem provers (68V20)

arXiv classification

cs.LO

This page was built for publication: Formalizing Polynomial Laws and the Universal Divided Power Algebra

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