TY  - RPRT
TI  - Formalizing Polynomial Laws and the Universal Divided Power Algebra
AU  - Antoine Chambert-Loir
AU  - María Inés de Frutos-Fernández
PY  - 2025
DO  - 10.1145/3779031.3779108
UR  - https://arxiv.org/abs/2512.05750
ID  - 2512.05750
ER  -