Typo in doc of padicValNat?

Stream: mathlib4

[Gaëtan Serré]

Hello, I think there is a typo in the documentation of docs#padicValNat, where it mentionsz. I hope my message is not a duplicate or a misunderstanding :sweat_smile:

[Ruben Van de Velde]

Yeah, should be n. Want to make a PR?

[Gaëtan Serré]

Why not! I don't have access to the repo though