research
∙
06/29/2023
Formalizing Norm Extensions and Applications to Number Theory
Let K be a field complete with respect to a nonarchimedean real-valued n...
research
∙
03/06/2022