TY  - RPRT
TI  - Formalizing Norm Extensions and Applications to Number Theory
AU  - María Inés de Frutos-Fernández
PY  - 2023
UR  - https://arxiv.org/abs/2306.17234
ID  - 2306.17234
ER  -