feat: port NumberTheory.Padics.PadicVal (#3020)

Co-authored-by: Parcly Taxel <reddeloostw@gmail.com>

Author: Ruben-VandeVelde

Mathlib.lean

@@ -1165,6 +1165,7 @@ import Mathlib.NumberTheory.ClassNumber.AdmissibleAbs
 import Mathlib.NumberTheory.ClassNumber.AdmissibleAbsoluteValue
 import Mathlib.NumberTheory.Divisors
 import Mathlib.NumberTheory.FrobeniusNumber
+import Mathlib.NumberTheory.Padics.PadicVal
 import Mathlib.NumberTheory.Primorial
 import Mathlib.Order.Antichain
 import Mathlib.Order.Antisymmetrization