Commit 2025-02-07 08:12 b532ac9f
View on Github →feat(NumberTheory/NumberField/FinitePlaces): the v-adic absolute value induces an ultrametric distance (#21243)
We prove that the vadic absolute value satisfies the ultrametric inequality and that the vadic absolute value of an integer is at most 1.