Formalizing Norm Extensions and Applications to Number Theory | Publicación