feat(data/padics/padic_norm) Fix namespacing of padic_val_nat (#3207)
feat(data/padics/padic_norm) Fix namespacing of padic_val_nat (#3207)

No longer need we `padic_val_rat.padic_val_nat`.





leanprover-community/mathlib,leanprover-community/mathlib